←back to thread

A Higgs-Bugson in the Linux Kernel

(blog.janestreet.com)
226 points Ne02ptzero | 1 comments | 02 Jul 25 18:34 UTC | HN request time: 0.206s | source
Show context
snvzz ◴[03 Jul 25 08:35 UTC] No.44452910[source]▶
With millions of LoCs, it is no surprise there are bugs.

Worse yet, the kernel runs in supervisor mode.

This kernel design is bankrupt. There's much better available, such as seL4+Genode.

replies(4): >>44453275 #>>44453449 #>>44454879 #>>44459008 #
1. eddythompson80 ◴[03 Jul 25 09:35 UTC] No.44453275[source]▶
seL4+Genode is equally as bankrupt. I run my code in the SMM anyway.