l4/pkg/io/config/x86-legacy.devs

   1 -- vi:ft=lua
   2
   3 local Res = Io.Res
   4 local Hw = Io.Hw
   5
   6 Io.hw_add_devices
   7 {
   8   P80 = Hw.Device
   9   {
  10     hid = "P80",
  11     Res.io(0x80),
  12   },
  13
  14   BIOS = Hw.Device
  15   {
  16     hid = "BIOS";
  17     Res.mmio(0x0, 0xfff, 0xc000);
  18     Res.mmio(0x9f000, 0x9ffff, 0xc000);
  19     Res.mmio(0xc0000, 0xfffff, 0xc000);
  20   },
  21
  22   VGA = Hw.Device
  23   {
  24     hid = "PNP0900";
  25     Res.io(0x3b0, 0x3bf); -- MDA
  26     Res.io(0x3c0, 0x3df); -- EGA/VGA
  27     Res.io(0x1ce, 0x1d0); -- Vbox
  28     Res.io(0x402, 0x402); -- QEMU Debug Port
  29     Res.mmio(0xa0000, 0xbffff);
  30   },
  31
  32   PS2 = Hw.Device
  33   {
  34     hid = "PNP0303",
  35     Res.io(0x60),
  36     Res.io(0x64),
  37     Res.irq(1),
  38     Res.irq(12)
  39   },
  40
  41   RTC = Hw.Device
  42   {
  43     hid = "PNP0B00";
  44     Res.io(0x70, 0x71);
  45   }
  46 }
  47