[seL4] Re: VM Kernel Modules

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.