var searchData=
[
  ['tag_0',['IPC Message Tag',['../l4re_concepts_ipc.html#l4re_concepts_descr_msgtag',1,'']]],
  ['tag_1',['Message tag',['../l4re_concepts_abi.html#l4re_concepts_abi_msgtag',1,'']]],
  ['task_2',['Moe, the Root-Task',['../l4re_servers_moe.html',1,'l4re_servers']]],
  ['task_20termination_3',['Reacting on task termination',['../l4re_servers_ned.html#l4re_ned_exit_handler',1,'']]],
  ['termination_4',['Reacting on task termination',['../l4re_servers_ned.html#l4re_ned_exit_handler',1,'']]],
  ['test_20application_20role_5',['test.mk - Test Application Role',['../bid_role_test.html',1,'l4re_build_system']]],
  ['test_20mk_20test_20application_20role_6',['test.mk - Test Application Role',['../bid_role_test.html',1,'l4re_build_system']]],
  ['the_20console_20multiplexer_7',['Cons, the Console Multiplexer',['../l4re_servers_cons.html',1,'l4re_servers']]],
  ['the_20create_20stream_8',['the create stream',['../l4re_concepts_kernel_factory.html#kernel_factory_create',1,'Passing parameters for the create stream'],['../l4re_servers_moe.html#l4re_moe_memory_alloc_factory',1,'Passing parameters to the create stream']]],
  ['the_20device_20tree_20generator_20for_20uvmm_9',['uvmm_dtg The device tree generator for Uvmm',['../l4re_servers_uvmm_uvmm_dtg.html',1,'']]],
  ['the_20gui_20multiplexer_10',['Mag, the GUI Multiplexer',['../l4re_servers_mag.html',1,'l4re_servers']]],
  ['the_20init_20process_11',['Ned, the Init Process',['../l4re_servers_ned.html',1,'l4re_servers']]],
  ['the_20interactive_20ned_20prompt_12',['Using the interactive ned prompt',['../l4re_servers_ned.html#l4re_ned_interactive',1,'']]],
  ['the_20io_20server_13',['Io, the Io Server',['../io.html',1,'l4re_servers']]],
  ['the_20kernel_20debugger_14',['the kernel debugger',['../l4re_servers_ned.html#l4re_ned_jdb',1,'Access to the kernel debugger'],['../todo.html#_todo000002',1,'Access to the kernel debugger']]],
  ['the_20l4_20kernel_20bootstrapper_15',['Bootstrap, the L4 kernel bootstrapper',['../bootstrap.html',1,'']]],
  ['the_20region_20map_16',['Memory management - Data Spaces and the Region Map',['../l4re_concepts_ds_rm.html',1,'l4re_concepts']]],
  ['the_20root_20pager_17',['Sigma0, the Root-Pager',['../l4re_servers_sigma0.html',1,'l4re_servers']]],
  ['the_20root_20task_18',['Moe, the Root-Task',['../l4re_servers_moe.html',1,'l4re_servers']]],
  ['the_20virtual_20machine_20monitor_19',['Uvmm, the virtual machine monitor',['../l4re_servers_uvmm.html',1,'l4re_servers']]],
  ['thread_20',['User Thread to User Thread',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_2',1,'']]],
  ['thread_20control_20block_21',['User-level Thread Control Block',['../l4re_concepts_ipc.html#l4re_concepts_descr_utcb',1,'']]],
  ['thread_20control_20block_20utcb_22',['User-level thread control block (UTCB)',['../l4re_concepts_abi.html#l4re_concepts_abi_utcb',1,'']]],
  ['thread_20control_20registers_23',['IPC Thread Control Registers',['../l4re_concepts_ipc.html#l4re_concepts_descr_tcrs',1,'']]],
  ['thread_20to_20kernel_20object_24',['User Thread to Kernel Object',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_1',1,'']]],
  ['thread_20to_20user_20object_25',['User Thread to User Object',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_3',1,'']]],
  ['thread_20to_20user_20thread_26',['User Thread to User Thread',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_2',1,'']]],
  ['threads_27',['Creating Additional Application Threads',['../l4re_concepts_apps_svr.html#l4re_concepts_app_thread',1,'']]],
  ['timeouts_28',['Timeouts',['../l4re_concepts_ipc.html#l4re_concepts_descr_timeouts',1,'IPC Timeouts'],['../l4re_concepts_abi.html#l4re_concepts_abi_timeouts',1,'Timeouts']]],
  ['timeouts_20during_20ipc_29',['Timeouts during IPC',['../group__l4__ipc__api.html#ipc_timeouts',1,'']]],
  ['to_20kernel_20object_30',['User Thread to Kernel Object',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_1',1,'']]],
  ['to_20l4re_3a_3aenv_20capabilities_31',['Access to L4Re::Env Capabilities',['../l4re_servers_ned.html#l4re_ned_lua_l4re_env',1,'']]],
  ['to_20point_20link_32',['l4vio_net_p2p, a virtual network point-to-point link',['../l4re_servers_virtio_net_p2p.html',1,'l4re_servers']]],
  ['to_20the_20create_20stream_33',['Passing parameters to the create stream',['../l4re_servers_moe.html#l4re_moe_memory_alloc_factory',1,'']]],
  ['to_20the_20kernel_20debugger_34',['to the kernel debugger',['../l4re_servers_ned.html#l4re_ned_jdb',1,'Access to the kernel debugger'],['../todo.html#_todo000002',1,'Access to the kernel debugger']]],
  ['to_20user_20object_35',['User Thread to User Object',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_3',1,'']]],
  ['to_20user_20thread_36',['User Thread to User Thread',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_2',1,'']]],
  ['transfer_20of_20typed_20send_20items_37',['Transfer of Typed Send Items',['../l4re_concepts_ipc.html#l4re_concepts_descr_transfer',1,'']]],
  ['tree_20generator_20for_20uvmm_38',['uvmm_dtg The device tree generator for Uvmm',['../l4re_servers_uvmm_uvmm_dtg.html',1,'']]],
  ['tutorial_39',['Tutorial',['../l4re_tutorial.html',1,'Tutorial'],['../l4re_servers_ned.html#l4re_ned_lua_tutorial',1,'Tutorial']]],
  ['typed_20message_20items_40',['Typed message items',['../l4re_concepts_abi.html#l4re_concepts_abi_items',1,'']]],
  ['typed_20send_20items_41',['Transfer of Typed Send Items',['../l4re_concepts_ipc.html#l4re_concepts_descr_transfer',1,'']]],
  ['types_42',['RPC Return Types',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_return_types',1,'']]],
  ['types_20for_20rpc_43',['Parameter types for RPC',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_types',1,'']]]
];
