Thread

Several vulnerabilities have been discovered in the Linux kernel

576 points · 408 comments · luispa

hn_submit · 1790918078 · focus · HN ↗
We need to switchover to microkernel operating systems ASAP or our entire computing infrastructure becomes a liability.
There are good reasons for QNX becoming viable again in the automotive world. Linux / Android has so many vulnerabilities that it needs indefinite patching, which is unrealistic for any computing device but cars especially. Car makers are switching to QNX even though it costs them money.
Weren't there rumours that intelligence agencies have been using microkernel operating systems for decades?
1. snvzz · 1790923549 · focus · HN ↗
  >Weren't there rumours that intelligence agencies have been using microkernel operating systems for decades?
  Governments, military, aviation, space.
  For a good portion of the usage, the people involved cannot even talk about it. But sometimes it's possible. A surprising amount of real world use showed up in talks in seL4 summit 2026[0].
  0. <a href="https://www.youtube.com/playlist?list=PLd7rrADYxxQQ" rel="nofollow">https://www.youtube.com/playlist?list=PLd7rrADYxxQQ
  1. hn_submit · 1790926600 · focus · HN ↗
    I remember this guy selling an operating system to intelligence agencies. I believe it was essentially MINIX or Sel4 with a GUI layer on top.
    The government isn't telling anyone about it because they don't want to sink a multi-trillion dollar corporation.

Unofficial Hacker News client; not affiliated with Y Combinator.