4:49:13beachI have been reading a bit more about Genode. It looks like a fine system, and I am sure it could be used as a basis for some kind of LispOS. However, the philosophy seems very different from what I imagine with CLOSOS, and I don't think a CLOSOS-like system could be built on top of Genode.
4:51:17beachIf I understand the documentation for Genode right, an individual component still has its own address space. A capability is very similar to a Unix file descriptor in that it is meaningless as a pointer, and requires the kernel to access the associated object.