2021-01-16 | Paul Boddie | file changeset files shortlog | Added missing Makefiles. |
paul@0 | 1 | # this is a configuration to start 'ex_ci20_leds' |
paul@0 | 2 | |
paul@0 | 3 | local L4 = require("L4"); |
paul@0 | 4 | |
paul@0 | 5 | local l = L4.default_loader; |
paul@0 | 6 | |
paul@0 | 7 | local io_buses = |
paul@0 | 8 | { |
paul@0 | 9 | gpio = l:new_channel(); |
paul@0 | 10 | }; |
paul@0 | 11 | |
paul@0 | 12 | l:start({ |
paul@0 | 13 | caps = { |
paul@0 | 14 | gpio = io_buses.gpio:svr(), |
paul@0 | 15 | icu = L4.Env.icu, |
paul@0 | 16 | sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0), |
paul@0 | 17 | }, |
paul@0 | 18 | log = { "IO", "y" }, |
paul@0 | 19 | l4re_dbg = L4.Dbg.Warn, |
paul@0 | 20 | }, |
paul@0 | 21 | "rom/io -vvvv rom/hw_devices.io rom/mips-ci20-led.io"); |
paul@0 | 22 | |
paul@0 | 23 | l:start({ |
paul@0 | 24 | caps = { |
paul@0 | 25 | icu = L4.Env.icu, |
paul@0 | 26 | vbus = io_buses.gpio, |
paul@0 | 27 | }, |
paul@0 | 28 | }, |
paul@0 | 29 | "rom/ex_ci20_leds"); |