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