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.
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.