81bce2a91ea6fe9f2c835631ebf77ed3e8ca6fae 44209 |
|
28-Dec-2012 |
vboxsync |
BIOS: Do not use IRQ 5 for PCI devices. |
5a309ae79b4530e584852c4da9808eb4074e075c 43117 |
|
30-Aug-2012 |
vboxsync |
Devices/PC/BIOS: adjust licence comments to the default style |
61dd3960a1ce187031dda7803b06169a68e36167 42392 |
|
25-Jul-2012 |
vboxsync |
BIOS: Use new C implementation for 32-bit PCI BIOS, too. |
adcd1c824afddcdb85f23d1a4d7e25df46bd093f 42332 |
|
23-Jul-2012 |
vboxsync |
BIOS: Expanded PCI service, removed old 16-bit implementation. |
94fde0b66aced35ee31b2218ab4371f2a48888c1 42057 |
|
09-Jul-2012 |
vboxsync |
Renamed PC/BIOS-new to PC/BIOS and dropped the VBOX_WITH_NEW_BIOS makefile variable. |