Searched refs:boot (Results 1 – 6 of 6) sorted by relevance
| /l4re-core-master/l4re_kernel/server/src/ |
| A D | main.cc | 131 Dbg boot(Dbg::Boot); in run() local
174 boot.printf("adding regions from remote region mapper\n"); in run()
179 boot.printf("load binary '%s'\n", Global::l4re_aux->binary); in run()
189 boot.printf("Start server loop\n"); in run()
|
| /l4re-core-master/moe/server/src/ |
| A D | main.cc | 68 static Dbg boot(Dbg::Boot);
84 boot.printf("KIP @%p\n", kip()); in map_kip()
92 boot.printf("mbi @%p\n", _mbi_); in my_cmdline()
227 boot.printf("UTCB @%p\n", u); in init_utcb()
611 if (boot.is_active()) in main()
613 boot.printf("dump of root name space:\n"); in main()
|
| /l4re-core-master/moe/doc/ |
| A D | moe.dox | 96 * during the platform boot (or available in ROM). These files are either
97 * linked into the boot image or loaded via a flexible boot loader,
159 * values are a combination of `info`, `warn`, `boot`, `server`, `loader`,
|
| /l4re-core-master/sigma0/doc/ |
| A D | sigma0.dox | 8 * It is started by Fiasco.OC on the system boot and gets full access to all
|
| /l4re-core-master/l4sys/include/ |
| A D | kip | 67 Info = 0xd, ///< Info by boot loader
68 Bootloader = 0xe, ///< Memory belongs to the boot loader
|
| /l4re-core-master/ned/doc/ |
| A D | ned.dox | 12 The boot process is based on the execution of one or more Lua scripts that
|
Completed in 5 milliseconds