1 # this is a configuration to start 'ex_x1600_info' 2 3 local L4 = require("L4"); 4 5 local l = L4.default_loader; 6 7 local io_buses = 8 { 9 common = l:new_channel(); 10 }; 11 12 l:start({ 13 caps = { 14 common = io_buses.common: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 rom/hw_devices.io rom/mips-x1600-info.io"); 22 23 l:start({ 24 log = L4.Env.log, 25 caps = { 26 icu = L4.Env.icu, 27 vbus = io_buses.common, 28 }, 29 }, 30 "rom/ex_x1600_info");