Volker Ruppert 9d0f111995 - build an additional BIOS image without the new 32-bit extensions. It can be ...

used when the new BIOS fails
- use wbinvd instruction in the 32-bit init code

2006-10-03 20:30:09 +00:00

128 KiB

Raw History

View Raw