Enhancing System Security with seL4

Community effort can create a standard virtual machine monitor to tune seL4 for various use cases to simplify the development of secure hardware.