News for hackers. Stuff that matters.
Re:GNU Hurd 0.7 has been released by nickpsecurity on Saturday October 31, 2015 @11:08PM (#10485269)
And Samsung uses INTEGRITY Multivisor in KNOX.

http://www.ghs.com/products/rtos/integrity_virtualization.ht...

Multivisor is kind of a combination of the INTEGRITY RTOS and virtualization stuff.

The leader in this kind of stuff was OKL4 like in your reference, though. General Dynamics supplies their stuff now due to acquisition.

There are no comments on this comment yet.