Travis Geiselbrecht 4c29a608e9 [platform][pc] fix up bios32 PCI support, get pci IDE working again ...

-Spiff up the device driver starting logic to allow for statically
started devices, instead of always automatic.

2018-12-31 16:47:32 -08:00

..

config.c

[platform][pc] fix up bios32 PCI support, get pci IDE working again

2018-12-31 16:47:32 -08:00

rules.mk

[arch][x86] flatten x86-64 and x86 into a single tree of code

2016-02-29 12:42:45 -08:00