l4/pkg/io/doc/example_pci.io

   1 -- This is a configuration snippet for PCI device selection
   2
   3 local hw = Io.system_bus();
   4
   5 Io.add_vbusses
   6 {
   7   pciclient = Io.Vi.System_bus(function ()
   8     PCI = Io.Vi.PCI_bus(function ()
   9       pci_mm      = wrap(hw:match("PCI/CC_04"));
  10       pci_net     = wrap(hw:match("PCI/CC_02"));
  11       pci_storage = wrap(hw:match("PCI/CC_01"));
  12     end)
  13   end)
  14 }