3 ms·
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#Commercial
by _rook 11y ago
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#Commercial_deployment https://en.wikipedia.org/wiki/L4_microkernel_family#Commerci...
- nickpsecurity 11y agoAnd Samsung uses INTEGRITY Multivisor in KNOX. http://www.ghs.com/products/rtos/integrity_virtualization.html 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.