News for hackers. Stuff that matters.
Re:SeL4 Whitepaper [pdf] by ncmncm on Monday December 28, 2020 @08:01PM (#25565364)
Oh, cool. Thanks!

Can't help thinking, though, that we will still need something for administration. NixOS would seem a better choice than Fedora 18 (or whatever Qubes is on) for that.

I am also watching Spectrum with interest.

There are no comments on this comment yet.