On 17 Jul 2021, at 03:38, Michael Neises <[email protected]> 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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
