-- get access to the required hardware resources. Target platform is ARM
-- Real-View as used with QEmu.
-require("L4");
+local L4 = require("L4");
local l = L4.default_loader;
l:start({
caps = {
- gui = io_buses.gui:svr(),
- fbdrv = io_buses.fbdrv:svr(),
+ gui = io_buses.gui:svr(),
+ fbdrv = io_buses.fbdrv:svr(),
icu = L4.Env.icu,
sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0),
log = { "IO", "y" },
l4re_dbg = L4.Dbg.Warn,
},
- "rom/io rom/arm-rv-eb.devs rom/arm-rv-lcd.io");
+ "rom/io rom/hw_devices.io rom/arm-rv-lcd.io");
local fbdrv_fb = l:new_channel();