News for hackers. Stuff that matters.

A comment on Linux Rust Support. Parent comment

Re:Linux Rust Support by grumblenum on Tuesday July 06, 2021 @08:33AM (#27747572)
I was under the impression that SeL4 exists.
[ Parent | on HN ]
Re:Linux Rust Support by MaxBarraclough on Tuesday July 06, 2021 @11:17AM (#27749700)
That's true, but as a microkernel, seL4 has a very limited scope. It's not in the same ballpark as, say, the Linux kernel. It's more like a hypervisor. [0]

From a quick google, seL4 has around 10,000 lines of C code, whereas the Linux kernel has around 30,000,000.

[0] https://sel4.systems/About/seL4-whitepaper.pdf

[ Parent | on HN ]
Re:Linux Rust Support by raphlinus on Tuesday July 06, 2021 @09:47AM (#27748448)
Kinda. https://news.ycombinator.com/item?id=27232401

I think CSIRO disbanding the team was a huge mistake, but in any case they weren't producing the kind of success metrics that sustained their funding.

[ Parent | on HN ]
Re:Linux Rust Support by dnautics on Tuesday July 06, 2021 @11:49AM (#27750126)
I know of at least one other company that is picking it up.
[ Parent | on HN ]