News for hackers. Stuff that matters.
Re:Debian GNU/Hurd 2023 released by 4gotunameagain on Tuesday June 13, 2023 @03:57AM (#36307029)
The idea might be outdated, but as I have yet to seen a system running seL4, in practice it is very much true still.

There are no comments on this comment yet.