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.mmio(0xa0000, 0xbffff, 0xc000);
  29   },
  30
  31   PS2 = Hw.Device
  32   {
  33     hid = "PNP0303",
  34     Res.io(0x60),
  35     Res.io(0x64),
  36     Res.irq(1),
  37     Res.irq(12)
  38   },
  39
  40   RTC = Hw.Device
  41   {
  42     hid = "PNP0B00";
  43     Res.io(0x70, 0x71);
  44   }
  45 }
  46