Comment by justincormack
10 years ago
By "framework" they largely mean you have a choice of microkernel, with support for several microkernels of the L4 family (most recently initial support for SEL4).
They also have virtualisation support, so you can run Linux applications, and impressively secure desktop support.
Here is a video overview [1]
[1] https://www.youtube.com/watch?v=Nr2h9eigpqA&feature=youtu.be...
No comments yet
Contribute on Hacker News ↗