Re:GNU Hurd News 2026-Q2
by yjftsjthsd-h on Thursday August 06, 2026 @12:38AM
(#49192511)
> If I could get a micro kernel with a better security profile than Linux, that doesn’t sound so bad.
I suggest that you look at genode/sculpt:)
If I could get a micro kernel with a better security profile than Linux, that doesn’t sound so bad. I could easily be using a ten year old chip for my day to day browsing and probably wouldn’t notice.