L4 is used in the secure element of every modern iPhone. OS X/XNU is based on mi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		rodgerd on June 18, 2015 \| parent \| context \| favorite \| on: A reimplementation of NetBSD using a Microkernel [... L4 is used in the secure element of every modern iPhone. OS X/XNU is based on microkernel designs. Windows is a hybrid.

bch on June 18, 2015 [–]

Are you asserting MacOS X is "based on microkernel designs" just because some versions[0] of Mach are a microkernel, or something else?

[0] https://en.wikipedia.org/wiki/Mach_%28kernel%29

bch on June 18, 2015 | [–]

Hrmmm. Digging deeper (and trawling my memory), I'm getting conflicting information:

* https://en.wikipedia.org/wiki/XNU

* https://youtu.be/8RwlEZ88rKM

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact