43 lines
2.6 KiB
JavaScript
43 lines
2.6 KiB
JavaScript
var l4re_servers =
|
|
[
|
|
[ "Sigma0, the Root-Pager", "l4re_servers_sigma0.html", [
|
|
[ "Factory", "l4re_servers_sigma0.html#Factory", null ]
|
|
] ],
|
|
[ "Moe, the Root-Task", "l4re_servers_moe.html", [
|
|
[ "Moe objects", "l4re_servers_moe.html#l4re_moe_objects", [
|
|
[ "Factory", "l4re_servers_moe.html#l4re_moe_factory", [
|
|
[ "Passing parameters to the create stream", "l4re_servers_moe.html#l4re_moe_memory_alloc_factory", null ]
|
|
] ],
|
|
[ "Namespace", "l4re_servers_moe.html#l4re_moe_names", [
|
|
[ "Boot FS", "l4re_servers_moe.html#l4re_moe_bootfs", null ]
|
|
] ],
|
|
[ "Dataspace", "l4re_servers_moe.html#l4re_moe_dataspace", null ],
|
|
[ "Log Subsystem", "l4re_servers_moe.html#l4re_moe_log", null ],
|
|
[ "DMA Space", "l4re_servers_moe.html#l4re_moe_dma_space", null ],
|
|
[ "Scheduler subsystem", "l4re_servers_moe.html#l4re_moe_scheduler", null ],
|
|
[ "Region Map", "l4re_servers_moe.html#l4re_moe_rm", null ]
|
|
] ],
|
|
[ "Command Line Options", "l4re_servers_moe.html#l4re_moe_options", null ]
|
|
] ],
|
|
[ "Ned, the Init Process", "l4re_servers_ned.html", [
|
|
[ "Lua Bindings for L4Re", "l4re_servers_ned.html#l4re_ned_lua_l4re", [
|
|
[ "Tutorial", "l4re_servers_ned.html#l4re_ned_lua_tutorial", null ],
|
|
[ "Capabilities in Lua", "l4re_servers_ned.html#l4re_ned_lua_caps", null ],
|
|
[ "Access to L4Re::Env Capabilities", "l4re_servers_ned.html#l4re_ned_lua_l4re_env", null ],
|
|
[ "Constants", "l4re_servers_ned.html#l4re_ned_lua_consts", null ],
|
|
[ "Application Startup Details", "l4re_servers_ned.html#l4re_ned_startup", null ],
|
|
[ "Reacting on task termination", "l4re_servers_ned.html#l4re_ned_exit_handler", null ],
|
|
[ "Control scheduling", "l4re_servers_ned.html#l4re_ned_sched", null ],
|
|
[ "Access to the kernel debugger", "l4re_servers_ned.html#l4re_ned_jdb", null ],
|
|
[ "Using the interactive ned prompt", "l4re_servers_ned.html#l4re_ned_interactive", null ]
|
|
] ],
|
|
[ "Command Line Options", "l4re_servers_ned.html#l4re_ned_options", null ]
|
|
] ],
|
|
[ "Io, the Io Server", "io.html", null ],
|
|
[ "l4vio_net_p2p, a virtual network point-to-point link", "l4re_servers_virtio_net_p2p.html", null ],
|
|
[ "l4vio_switch, a virtual network switch", "l4re_servers_vio_switch.html", null ],
|
|
[ "Uvmm, the virtual machine monitor", "l4re_servers_uvmm.html", "l4re_servers_uvmm" ],
|
|
[ "RTC driver", "l4re_servers_rtc_driver.html", null ],
|
|
[ "Mag, the GUI Multiplexer", "l4re_servers_mag.html", null ],
|
|
[ "Cons, the Console Multiplexer", "l4re_servers_cons.html", null ]
|
|
]; |