Landfall

Annotated conf/landfall-examples/mips-ci20-hdmi-i2c.cfg

231:9e2c034b3a29
12 months ago Paul Boddie Added demonstration configuration files. jz4780-spi-lcd
paul@62 1
# this is a configuration to start 'ex_ci20_hdmi_i2c'
paul@62 2
paul@62 3
local L4 = require("L4");
paul@62 4
paul@62 5
local l = L4.default_loader;
paul@62 6
paul@62 7
local io_buses =
paul@62 8
  {
paul@81 9
    vbus = l:new_channel();
paul@62 10
  };
paul@62 11
paul@62 12
l:start({
paul@62 13
  caps = {
paul@81 14
      vbus = io_buses.vbus:svr(),
paul@62 15
      icu = L4.Env.icu,
paul@62 16
      sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0),
paul@62 17
    },
paul@62 18
    log = { "IO", "y" },
paul@62 19
    l4re_dbg = L4.Dbg.Warn,
paul@62 20
  },
paul@62 21
  "rom/io -vvvv rom/hw_devices.io rom/mips-ci20-hdmi-i2c.io");
paul@62 22
paul@62 23
l:start({
paul@62 24
  caps = {
paul@62 25
      icu = L4.Env.icu,
paul@81 26
      vbus = io_buses.vbus,
paul@62 27
    },
paul@62 28
  },
paul@62 29
  "rom/ex_ci20_hdmi_i2c");