Hello,
I would like to ask you about creating a mailing list that discusses porting a Common Lisp to the L4 microkernel. This project will partly be aided by the Operating Systems group at the Dresden University of Technology that I am a student of.
I hope to centralize the different efforts that are currently underway. (Ok, this is perhaps an overstatement... Let's say there are some people who have the knowledge to do this, but no central place to discuss it.)
Regards,