l4/pkg/io/config/plat-rpi_b/hw_devices.io

   1 -- vi:ft=lua
   2
   3 local Res = Io.Res
   4 local Hw = Io.Hw
   5
   6 Io.hw_add_devices(function()
   7
   8   GPIO = Hw.Gpio_bcm2835_chip(function()
   9     hid = "gpio-bcm2835-GPIO";
  10     pins = 54;
  11     regs = Res.mmio(0x20200000, 0x202000b4);
  12     int0 = Res.irq(49);
  13     int2 = Res.irq(51);
  14   end);
  15
  16   MBOX = Hw.Device(function()
  17     hid = "BCM2835_mbox";
  18     regs = Res.mmio(0x2000b880, 0x2000bfff);
  19   end);
  20
  21   FB = Hw.Device(function()
  22     hid = "BCM2835_fb";
  23     mem = Res.mmio(0x5c006000, 0x60005fff);
  24   end);
  25
  26   BSC2 = Hw.Device(function()
  27     hid = "BCM2835_bsc2";
  28     regs = Res.mmio(0x20805000, 0x20805fff);
  29     irq = Res.irq(53, Io.Resource.Irq_type_raising_edge);
  30   end);
  31 end)