News for hackers. Stuff that matters.
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/

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.