News for hackers. Stuff that matters.

A comment on GNU Hurd 0.7 has been released. Parent comment

Re:GNU Hurd 0.7 has been released by _rook on Saturday October 31, 2015 @01:54PM (#10483452)
Both Qualcomm and Apple are known to run variants of L4, a microkernel, on their mobile hardware: https://en.wikipedia.org/wiki/L4_microkernel_family#Commerci...
[ Parent | on HN ]
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.

[ Parent | on HN ]