yazomie@lemmings.world to Linux@lemmy.mlEnglish · 4 months agoThe Quest for Reasonably Secure Operating Systemsyazomietech.bearblog.devexternal-linkmessage-square60linkfedilinkarrow-up170arrow-down19file-textcross-posted to: linux@programming.dev
arrow-up161arrow-down1external-linkThe Quest for Reasonably Secure Operating Systemsyazomietech.bearblog.devyazomie@lemmings.world to Linux@lemmy.mlEnglish · 4 months agomessage-square60linkfedilinkfile-textcross-posted to: linux@programming.dev
minus-squareyazomie@lemmings.worldOPlinkfedilinkarrow-up3·4 months agoThanks, Ironclad and Gloire look interesting for a RISC-V system, gonna try out at some point alongside CheriBSD
minus-squareDigit@lemmy.wtflinkfedilinkEnglisharrow-up2·edit-24 months agoOh dang! I just posted The Ironclad kernel intrigues before reading other replies, presuming no one else would have mentioned it. Well done Jay. :) [Edit: Oh, I just got down to the PS in the original article. Heh. Ironclad mentioned there too. XD Good to see I’m not the one raising it first.]
https://ironclad-os.org/
Thanks, Ironclad and Gloire look interesting for a RISC-V system, gonna try out at some point alongside CheriBSD
Oh dang!
I just posted
before reading other replies, presuming no one else would have mentioned it.
Well done Jay. :)
[Edit: Oh, I just got down to the PS in the original article. Heh. Ironclad mentioned there too. XD Good to see I’m not the one raising it first.]