Mirarge might be a good stepping stone, but ultimately I think we want Cog running directly on the Xen "hardware" without Mirage.  Erlang and Haskell are languages that already do this. [1]  We need to get on that list at the bottom.  

Maybe a good starting place is SqueakNOS [2] since it is reported to work with Grub and there is PVGrub [3] [4]. 

or PharoNOS :)


But this one actually has a small Linux as the base��� so it is not ���NOS��� in this sense.

Marcus