News for hackers. Stuff that matters.
Re:The SeL4 Microkernel: An Introduction [pdf] by mastax on Sunday March 23, 2025 @01:27PM (#43454347)
I’ve seen this argument play out many times. I believe the next line is: “QNX proved that micro kernels can be fast given clever message passing syscall design.”

“I remember running the QNX demo disc: an entire graphical operating system on a single 1.44MB floppy! Whatever happened to them?”

“They got bought by blackberry, which ended as you’d expect. QNX had a lot of success in automotive though.”

“Nowadays Linux and Android are dominant in new cars, though, proving once and for all that worse is better.”

exeunt. End Scene

Re:The SeL4 Microkernel: An Introduction [pdf] by nine_k on Sunday March 23, 2025 @01:50PM (#43454506)
Also an illustration how an open-source solution, even if technically inferior, would displace a closed-source solution, even if technically superior, unless there is a huge moat. And huge moats usually exist only in relatively narrow niches.
Re:The SeL4 Microkernel: An Introduction [pdf] by vacuity on Sunday March 23, 2025 @02:03PM (#43454587)
It turns out that success is composed of 90% luck, 10% marketing, and 5% talent/technical advantage. A rhetorical question: how do you entice people to turn a movement into a revolution when it isn't likely the movement will succeed?
Re:The SeL4 Microkernel: An Introduction [pdf] by necovek on Sunday March 23, 2025 @03:44PM (#43455338)
Another rhetorical question: out of luck/marketing/technical advantage, which one is contributing the most to the extra 5% out of 105% of all the components success can be attributed to?
Re:The SeL4 Microkernel: An Introduction [pdf] by ryao on Sunday March 23, 2025 @01:39PM (#43454427)
Nice use of Latin. mihi placet.