KeyKOS (and relatives) somehow got my attention a little while back, and seem like they might be somewhere in the space of things you'd find interesting. I'm n

KeyKOS (and relatives) somehow got my attention a little while back, and seem like they might be somewhere in the space of things you'd find interesting. I'm not sure how available/installable they are nowadays, but some of their ideas live on in L4 microkernels, apparently. (enjoying the talk; thanks!)