The Lively Kernel:

http://research.sun.com/projects/lively/index.html

ES Operating System

http://code.google.com/p/es-operating-system/