On Tue, Jun 18, 2013 at 3:19 PM, Koen Kooi <koen at dominion.thruhere.net> wrote: >> We only support domain 0, and ignore all other devices so far. > > What about non-PCI devices, like the netwerk controllers in embedded SoCs? I have no idea. This is so far all about PCI only, all the other parent buses are ignored entirely atm. Kay