UK National Cyber Security Centre

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