l4/conf/examples/x86-fb.io

   1 -- vim:set ft=lua:
   2 -- configuration file for io
   3
   4 local hw = Io.system_bus()
   5
   6 Io.add_vbus("gui", Io.Vi.System_bus
   7 {
   8   ps2 = wrap(hw:match("PNP0[3F]??"));
   9 })
  10
  11 Io.add_vbus("fbdrv", Io.Vi.System_bus
  12 {
  13   PCI0 = Io.Vi.PCI_bus_ident
  14   {
  15     dummy = Io.Vi.PCI_dummy_device();
  16     pci = wrap(hw:match("PCI/display"));
  17   };
  18
  19   bios = wrap(hw:match("BIOS"));
  20
  21   dev1 = wrap(hw:match("PNP0900"));
  22   dev2 = wrap(hw:match("PNP0100"));
  23 })