The following immediately made me think of guile. http://netbsd-soc.sourceforge.net/projects/luakern/
I wonder if there is anything like this in the works on the GNU front with the HURD as guile's natural kernel partner. Sorry I have nothing useful to contribute, I just thought it worthwhile to raise the prospect (specter?) of such integration in case it hadn't already crossed the minds of those with the ability to one day actually implement it. Cheers, -- Eric Schulte http://cs.unm.edu/~eschulte/