How about LispOS on Mach/Hurd?

[P. Srinivas]

One more possible idea is to take microkernal like Mach or
the Hurd and write the servers in LISP. We can probably work with
GNU OS guys. If people like Guile idea, we can probably
merge Guile and Hurd somehow. FSF also might be interested in this
idea. 

Adding a byte compiler/VM to guile may not be that difficult if that 
is needed.

Advantage of this approach is that we can levarage on the existing
work.


My thoughts

srini