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

   1 -- vim:set ft=lua:
   2 -- (c) 2014 Kernkonzept GmbH
   3 -- This file is distributed under the terms of the
   4 -- GNU General Public License 2.
   5 -- Please see the COPYING-GPL-2 file for details.
   6
   7 local Res = Io.Res
   8 local Hw = Io.Hw
   9
  10 Io.hw_add_devices(function()
  11
  12   virtio_mmio3 = Hw.Device(function()
  13     compatible = {"virtio,mmio"};
  14     Resource.mem = Res.mmio(0x10013600, 0x100137ff);
  15     Resource.irq = Res.irq(75);
  16   end);
  17
  18   CTRL = Hw.Device(function()
  19     Property.hid = "System Control";
  20     Resource.regs = Res.mmio(0x10000000, 0x10000fff);
  21   end);
  22
  23   clcd = Hw.Device(function()
  24     Property.hid = "AMBA PL110";
  25     compatible = {"arm,pl111","arm,primecell"};
  26     Resource.regs = Res.mmio(0x10020000, 0x10020fff);
  27   end);
  28
  29   kmi0 = Hw.Device(function()
  30     compatible = {"arm,pl050","arm,primecell"};
  31     Resource.regs = Res.mmio(0x10006000, 0x10006fff);
  32     Resource.irq = Res.irq(44);
  33   end);
  34
  35   kmi1 = Hw.Device(function()
  36     compatible = {"arm,pl050","arm,primecell"};
  37     Resource.regs = Res.mmio(0x10007000, 0x10007fff);
  38     Resource.irq = Res.irq(45);
  39   end);
  40 end)