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)
23 # - module file: add file
24 # - module-glob /some/path/*.foo: add all file matching
25 # - module-perl perl-code: Perl code returns array of files to include
26 # - moe file.cfg: expands to
27 # roottask moe rom/file.cfg
30 # Define a module group:
31 # group oftenneedthose
38 # module-group oftenneedthose
41 # - default-kernel: set default kernel including arguments
42 # - default-sigma0: set default sigma0 including arguments
43 # - default-roottask: set default roottask including arguments
48 roottask moe --init=rom/hello
53 roottask moe rom/hello.cfg
60 kernel fiasco -serial_esc
61 roottask moe --init=rom/ex_hello_shared
63 module ex_hello_shared
67 module libl4sys-direct.so
71 module libc_support_misc.so
72 module libc_be_socket_noop.so
73 module libc_be_l4refile.so
74 module libc_be_l4re.so
79 roottask moe rom/l4lx.cfg
89 roottask moe rom/l4lx-gfx.cfg
96 module x86-legacy.devs