A Secure Scheme-based OS

When I read this...

• A type-safe abstract instruction set (MSIL) as the only system binary interface.
• A unified extension mechanism for applications and the OS.
• A strong process isolation architecture.
• A ubiquitous metadata infrastructure to describes code, data, and communication.

(via this), I think of this. Obviously one has a large, ambitious team and the other represents work by a few people in a more narrow area. But a comparative analysis where they overlap would be worth reading.