[LinuxBIOS] Bios & PCI

[Ronald G. Minnich]

I think, as Yh Lu mentioned, the OS should be doing that job, not the 
BIOS. Have you looked at hot plug support at this point?


thanks

ron