LynxSecure
LynxSecure is a least privilege real-time Separation kernel Hypervisor from Lynx Software Technologies designed for safety and security critical applications found in military , avionic , industrial , and automotive markets . 
<triplet> LynxSecure <subj> Hypervisor <obj> instance of