Oh man KeyKOS, that brings back memories. I wonder if crypto intrinsics might breathe life back into something like KeyKOS. More contemporary, I think Sel4 does as well.

In my comment I meant "in theory fuscia could have been architected/could be rearchitected that way", sorry should have been more clear.