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

   1 # extend the real system bus with some platform devices
   2 hw-root
   3 {
   4   PS2 => new Device()
   5   {
   6     .hid = "PNP0303";
   7     new-res Io(0x60);
   8     new-res Io(0x64);
   9     new-res Irq(1,  0x000000);
  10     new-res Irq(12, 0x000000);
  11   }
  12
  13   RTC => new Device()
  14   {
  15     .hid = "PNP0B00";
  16     new-res Io(0x70 .. 0x71);
  17   }
  18
  19   # port 80 device for giving access to the port 0x80 used for IO-delay...
  20   P80 => new Device()
  21   {
  22     .hid = "P80";
  23     new-res Io(0x80);
  24   }
  25
  26   BIOS => new Device()
  27   {
  28     .hid = "BIOS";
  29     new-res Mmio(0x0 .. 0xfff, 0xc000);
  30     new-res Mmio(0x9f000 .. 0x9ffff, 0xc000);
  31     new-res Mmio(0xc0000 .. 0xfffff, 0xc000);
  32   }
  33
  34   VGA => new Device()
  35   {
  36     .hid = "PNP0900";
  37     new-res Io(0x3c0 .. 0x3df);
  38     new-res Mmio(0xa0000 .. 0xbffff, 0xc000);
  39   }
  40
  41   PORT_PIT => new Device()
  42   {
  43     .hid = "PNP0100";
  44     new-res Io(0x40 .. 0x43);
  45     new-res Io(0x61);
  46   }
  47 }
  48