BT

Ready for InfoQ 3.0? Try the new design and let us know what you think!

rss
DevOps Follow 1051 Followers

Secure Microkernel seL4 Reaches Version 7

by Kevin Neaton Follow 2 Followers on  Oct 31, 2017

Version 7.0.0 of the seL4 high-assurance microkernel has been released, bringing with it an alternate CMake-based build system with support for out-of-tree builds and interactive configuration.

BT