News for hackers. Stuff that matters.

A comment on GNU/Hurd strikes back: How to use the legendary OS in a (somewhat) practical way. Parent comment

Re:GNU/Hurd strikes back: How to use the legendary OS in a (... by darksaints on Monday August 07, 2023 @03:28PM (#37039668)
Okay, so there are a handful of massive $4k+ chips that can fit the Linux kernel in the L3 cache. Meanwhile, you could fit 5 copies of the SEL4 kernel in the L2 cache of a raspberry pi.
[ Parent | on HN ]
Re:GNU/Hurd strikes back: How to use the legendary OS in a (... by kelnos on Monday August 07, 2023 @05:57PM (#37041514)
Which is fine for a program that does essentially nothing. But once a program wants to talk to the network or disk, or display something on the screen, it needs more system services that need to come from somewhere. Can you fit all of those in the caches too?
[ Parent | on HN ]