1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/conf/landfall-examples/mips-x1600-info.cfg Mon Oct 30 17:25:00 2023 +0100
1.3 @@ -0,0 +1,30 @@
1.4 +# this is a configuration to start 'ex_x1600_info'
1.5 +
1.6 +local L4 = require("L4");
1.7 +
1.8 +local l = L4.default_loader;
1.9 +
1.10 +local io_buses =
1.11 + {
1.12 + common = l:new_channel();
1.13 + };
1.14 +
1.15 +l:start({
1.16 + caps = {
1.17 + common = io_buses.common:svr(),
1.18 + icu = L4.Env.icu,
1.19 + sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0),
1.20 + },
1.21 + log = { "IO", "y" },
1.22 + l4re_dbg = L4.Dbg.Warn,
1.23 + },
1.24 + "rom/io rom/hw_devices.io rom/mips-x1600-info.io");
1.25 +
1.26 +l:start({
1.27 + log = L4.Env.log,
1.28 + caps = {
1.29 + icu = L4.Env.icu,
1.30 + vbus = io_buses.common,
1.31 + },
1.32 + },
1.33 + "rom/ex_x1600_info");