What size does all this take up in flash?
LinuxBIOS + BOCHS BIOS + Video BIOS =?
By the way. It all does not have to be in flash.
For example for the development, I was using LinuxBIOS and EtherBOOT in flash, and I was grabbing the BOCHS BIOS over network from a differnet computer. But you could just put BOCHS BIOS on local hdd or CF.
Not sure if you have any option of external device here.