1 -- vim: ft=lua ts=2 et sw=2 2 3 -- Test the keyboard LEDs via the GPIO peripheral. 4 -- The target platform is the Letux 400 notebook computer. 5 6 local L4 = require("L4"); 7 8 local l = L4.default_loader; 9 10 -- Define general access to peripherals. 11 12 local io_buses = { 13 devices = l:new_channel(); -- exposes GPIO, PWM 14 }; 15 16 l:start({ 17 caps = { 18 devices = io_buses.devices:svr(), 19 icu = L4.Env.icu, 20 sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0), 21 }, 22 }, 23 "rom/io rom/hw_devices.io rom/mips-letux400-led.io"); 24 25 l:start({ 26 caps = { 27 vbus = io_buses.devices, 28 }, 29 }, 30 "rom/ex_letux400_leds");