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.
[ Parent
| on HN ]
There are no comments on this comment yet.