7ab68eeadb
Several people reported having hardware that struggles booting the mix EFI+BIOS image, and it's better to offer them a working image. Keeping the EFI image as having the obvious name, this is going to become more likely to work by default as newer hardware may not support BIOS boot. (XXX pullup-9) |
||
---|---|---|
.. | ||
cdroms | ||
installimage | ||
installimage-bios | ||
instkernel | ||
kmod | ||
kmod-cgdroot | ||
liveimage | ||
ramdisks | ||
Makefile |