Done with initial x86-32 layer, only drivers to go

Works on real hardware, better PCI support