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 SEL

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&list=PLmRrx948XMnEUlzKOCYn3AzT8OAInP_5M https://www.youtube.com/watch?v=Nr2h9eigpqA&feature=youtu.be...