hi all,
we have just put up a minimal website about our thesis project, titled 'NomadBIOS', which allows you to run multiple l4linuxes at once, and to hot-migrate them between host machines.
The thesis is not exacly written yet, but in the meanwhile you might want to have a go at it.
The website and download is at http://www.nomadbios.dk
Have fun!
Asger Henriksen & Jacob Gorm Hansen