seL4 microkernel technology

The project will make seL4 cyber security technology usable in more complex computer systems.