Lines Matching refs:L4
6 local L4 = require("L4");
9 loader = L4.default_loader;
11 local rom = L4.Env.rom;
33 icu = L4.Env.icu;
34 sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
48 log = {"io", "red"}, l4re_dbg = L4.Dbg.Warn + L4.Dbg.Loader,
49 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x90, 0x80)
81 if L4.Info.arch() == "amd64" then
99 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x80, 0x70)
135 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x78, 0x70)
148 local fb = L4.Env.vesa;