I have just terminated an os in 32 bits mode and I will be interested to port it on 64 bits.
My os use graphical gui, and use usb key as main drive (accedded via bios) so the main problem will be to set vesa modes and develop usb stack. But your project will help me a lot
