l4/conf/examples/l4lx-x86.io

   1 input => new System_bus()
   2 {
   3   ps2dev => wrap(hw-root.match("PNP0303"));
   4 }
   5
   6 fbdrv => new System_bus()
   7 {
   8   PCI0 => new PCI_bus_ident()
   9   {
  10     host_bridge_dummy => new PCI_dummy_device();
  11
  12     pci_gfx[] => wrap(hw-root.match("PCI/CC_03"));
  13   }
  14
  15   x1 => wrap(hw-root.match("BIOS"));
  16   x2 => wrap(hw-root.match("PNP0900"));
  17   x3 => wrap(hw-root.match("PNP0100"));
  18 }
  19
  20 l4linux => new System_bus()
  21 {
  22   # Add a new virtual PCI root bridge
  23   PCI0 => new PCI_bus()
  24   {
  25     pci_l4x[] => wrap(hw-root.match("PCI/CC_02,PCI/CC_01,PCI/CC_04"));
  26   }
  27 }