2 # configuration file for io
4 gui => new System_bus()
6 ps2dev => wrap(hw-root.match("PNP0303"));
9 fbdrv => new System_bus()
11 PCI0 => new PCI_bus_ident()
13 host_bridge_dummy => new PCI_dummy_device();
14 pci_gfx[] => wrap(hw-root.match("PCI/CC_03"));
16 dev1 => wrap(hw-root.match("BIOS"));
17 dev2 => wrap(hw-root.match("PNP0900"));
18 dev3 => wrap(hw-root.match("PNP0100"));