The seL4 microkernel: Optimized for security and endorsed by the Linux foundation
via Articles on TechRepublic https://ift.tt/2RnwlCl What is seL4, and what does it mean for the future of connected devices?
Subscribe to:
Post Comments
(
Atom
)
No comments