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