[seL4] Re: VM Kernel Modules

On 17 Jul 2021, at 03:38, Michael Neises wrote:

All,

With Hugo's help, I've figured out how to compile kernel modules for camkes-vm-linux. I've written up the procedure here: https://github.com/NeisesResearch/kernel_module_workstation/wiki/seL4Config and I've partially automated it here: https://github.com/NeisesResearch/kernel_module_workstation

I'm happy to receive any feedback, and I hope this makes someone's life a bit easier.

Please consider adding those instructions to our docs Gernot