17 Jul
2021
17 Jul
'21
10:42 a.m.
On 17 Jul 2021, at 03:38, Michael Neises <neisesmichael@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