64-bit bootloaders

[Dave Scott <Dave.Scott@xxxxxxxxxxxxx>]

Hi,

I came across this project:

http://www.returninfinity.com/pure64.html

It's a 64-bit OS bootloader with minimal backwards compat stuff under a BSD 
license. Perhaps we could glue it onto mirage to complement the xen PV support. 
It would be fun to write an IDE driver in ocaml :-)

Cheers,
Dave