Hi,
I just wanted to let everyone know that I've switched the PC machine
type to SeaBIOS and gPXE. SeaBIOS is a port of the Bochs BIOS to GCC,
by Kevin O'Conner, along with quite a lot of clean up and new feature work.
gPXE is the new development tree of etherboot which is now deprecated.
We've done a lot of testing of and while there are a few outstanding
issues, almost everything seems to be working okay.
Some known issues:
o e1000 pxe booting doesn't seem to work
o gPXE does not like the slirp tftp server