On 17 Jul 2021, at 03:38, Michael Neises <neisesmichael(a)gmail.com> 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