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 ]
There are no comments on this comment yet.