]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/conf/examples/arm-rv-lcd.cfg
Update
[l4.git] / l4 / conf / examples / arm-rv-lcd.cfg
index c0ab7d85cdc5f2aa3ead49581d6f4a0008808903..014f20cda9cea915011cd7c34fa9542f21f3a1fb 100644 (file)
@@ -4,7 +4,7 @@
 -- 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;
@@ -17,8 +17,8 @@ local io_buses =
 
 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),
@@ -26,7 +26,7 @@ l:start({
           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();