2 # Module configuration file for single image mode
4 # kernel, sigma0 and moe are always loaded automatically
6 # add kernel command line arguments with
7 # kernel fiasco arguments...
8 # the seconds argument here is the binary name
10 # add sigma command line arguments with
11 # sigma0 sigma0 arguments...
12 # the second sigma0 is the binary name
14 # add roottask command line arguments with
15 # roottask moe arguments...
16 # the second roottask is the binary name
18 # modaddr: address where modules start, relative to begin of RAM
19 # this statement is either global (before first entry statement)
25 roottask moe --init=rom/hello
30 roottask moe rom/hello.cfg
37 roottask moe --init=rom/ex_hello_shared
39 module ex_hello_shared
43 module libl4sys-direct.so
47 module libc_support_misc.so
48 module libc_be_socket_noop.so
49 module libc_be_l4refile.so
50 module libc_be_l4re.so
55 roottask moe rom/l4lx.cfg
65 roottask moe rom/l4lx-gfx.cfg
72 module x86-legacy.devs