Comment on 80386 ProtectionparentComments−avadodin6moFil-C vs CHERI vs SeL4 vs YOLOI think hardware protection is usually easier to sell but it isn't when it is slower or more expensive than the alternative.−Joker_vD6mo"Operating System Principles" (1973) by Per Brinch Hansen. A full microkernel OS (remake of RC-4000 from 1967) written in a concurrent dialect of Pascal, that also manages to make do without hardware protection support.
Comments
Fil-C vs CHERI vs SeL4 vs YOLO
I think hardware protection is usually easier to sell but it isn't when it is slower or more expensive than the alternative.
"Operating System Principles" (1973) by Per Brinch Hansen. A full microkernel OS (remake of RC-4000 from 1967) written in a concurrent dialect of Pascal, that also manages to make do without hardware protection support.