MINIX 3 on Xen

Ivan Kelly has ported MINIX 3 to Xen. His report and the code are listed on the DOCUMENTATION page or here.