X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/8fe9942cde59835eb3c3c6936d866dd3305582ef..003b628647705666de261350195da72a38f2c4d2:/l4/conf/examples/arm-rv-lcd.cfg

diff --git a/l4/conf/examples/arm-rv-lcd.cfg b/l4/conf/examples/arm-rv-lcd.cfg
index c0ab7d85c..014f20cda 100644
--- a/l4/conf/examples/arm-rv-lcd.cfg
+++ b/l4/conf/examples/arm-rv-lcd.cfg
@@ -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();