> As mentioned elsewhere recently, there are a lot of devices that are > common to all targets. In particular all PCI devices [should] work on > all PCI capable machies. Currently each target default config has to > be updated separately, which becomes unmaintainable as as we get finer > grained control over which devices are built. > > Following patch series allows a default config to include other files, and > uses this to consistently enable all PCI devices on all targets. > > I have also made VirtIO devices optional. > > Paul Brook (3): > Include directives in default configs > PCI config include > VirtIO config option
Which was missing a file. Appologies for the breakage. Paul