1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/conf/landfall-examples/mips-ci20-led.cfg Sun May 13 01:34:16 2018 +0200
1.3 @@ -0,0 +1,29 @@
1.4 +# this is a configuration to start 'ex_ci20_leds'
1.5 +
1.6 +local L4 = require("L4");
1.7 +
1.8 +local l = L4.default_loader;
1.9 +
1.10 +local io_buses =
1.11 + {
1.12 + gpio = l:new_channel();
1.13 + };
1.14 +
1.15 +l:start({
1.16 + caps = {
1.17 + gpio = io_buses.gpio:svr(),
1.18 + icu = L4.Env.icu,
1.19 + sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0),
1.20 + },
1.21 + log = { "IO", "y" },
1.22 + l4re_dbg = L4.Dbg.Warn,
1.23 + },
1.24 + "rom/io -vvvv rom/hw_devices.io rom/mips-ci20-led.io");
1.25 +
1.26 +l:start({
1.27 + caps = {
1.28 + icu = L4.Env.icu,
1.29 + vbus = io_buses.gpio,
1.30 + },
1.31 + },
1.32 + "rom/ex_ci20_leds");