News for hackers. Stuff that matters.

A comment on The SeL4 Microkernel: An Introduction [pdf]. Parent comment

Re:The SeL4 Microkernel: An Introduction [pdf] by cedws on Sunday March 23, 2025 @01:00PM (#43454148)
I heard a joke somewhere that sel4 is even more successful than Linux because it is running below ring 0 in every Intel chip shipped in the past N decades, plus probably many others.
[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by CalChris on Sunday March 23, 2025 @01:13PM (#43454258)
Intel used a version of Minix rather than seL4 for its Intel Management Engine. [1] There was some controversy about this because they didn't give Andrew Tanenbaum proper credit. [2]

[1] https://www.zdnet.com/article/minix-intels-hidden-in-chip-op...

[2] https://www.cs.vu.nl/~ast/intel/

[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by indolering on Sunday March 23, 2025 @07:42PM (#43456754)
Such a dumb technical choice driven by stupid managerial considerations. They do this ring -1 shit because hardware companies view this as a cheap way to add value. But they don't open source it or contribute back because they view it as secret sauce. Minix as a result didn't get the investments that GPL software receives. Now the project is in hard legacy mode.
[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by ianburrell on Sunday March 23, 2025 @01:35PM (#43454405)
Intel Management Engine is a separate microcontroller integrated into the chipsets. Recent ones are Intel Quark x86 CPU and Minix 3 OS.
[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by mrkeen on Sunday March 23, 2025 @01:15PM (#43454275)
That is Minix, not SeL4.
[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by naasking on Monday March 24, 2025 @09:49AM (#43461052)
seL4 is used in a lot of cellular phone firmwares I believe.
[ Parent | on HN ]