That&#x27;s interesting. Ill have to look at it on desktop. Seems backwards so far though: says it&#x27;s implemented on top of Linux. My model has a stripped Linux running in user or guest mode on top of a microkernel. See OKLinux, L4Linux, Nizza Security Architecture, or LynxSecure&#x27;s Linux for examples. Then you just need middleware which becomes a source file or library for your apps.