On Wed, Dec 12, 2012 at 01:59:36AM +0100, Alexander Graf wrote: > Another problem with the SSDT is that today it's mostly used for CPU > nodes. So whether it works correctly with device nodes in a > particular OS implementation is an open question.
All the PCI hotplug devices are sent via an SSDT in SeaBIOS today. -Kevin _______________________________________________ SeaBIOS mailing list [email protected] http://www.seabios.org/mailman/listinfo/seabios
