var searchData=
[
  ['ram_20configuration_0',['RAM configuration',['../l4re_servers_uvmm_ram_details.html',1,'l4re_servers_uvmm']]],
  ['reacting_20on_20task_20termination_1',['Reacting on task termination',['../l4re_servers_ned.html#l4re_ned_exit_handler',1,'']]],
  ['receive_20items_2',['Receive items',['../l4re_concepts_abi.html#l4re_concepts_abi_items_receive',1,'']]],
  ['region_20map_3',['Region Map',['../l4re_concepts_ds_rm.html',1,'Memory management - Data Spaces and the Region Map'],['../l4re_servers_moe.html#l4re_moe_rm',1,'Region Map']]],
  ['register_4',['IPC Buffer Descriptor Register',['../l4re_concepts_ipc.html#l4re_concepts_descr_bdr',1,'']]],
  ['register_5',['Buffer descriptor register',['../l4re_concepts_abi.html#l4re_concepts_abi_utcb_bdr',1,'']]],
  ['registers_6',['Registers',['../l4re_concepts_ipc.html#l4re_concepts_descr_brs',1,'IPC Buffer Registers'],['../l4re_concepts_ipc.html#l4re_concepts_descr_tcrs',1,'IPC Thread Control Registers']]],
  ['registers_7',['IPC Message registers',['../l4re_concepts_ipc.html#l4re_concepts_descr_mrs',1,'']]],
  ['return_20items_8',['Return items',['../l4re_concepts_abi.html#l4re_concepts_abi_items_return',1,'']]],
  ['return_20types_9',['RPC Return Types',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_return_types',1,'']]],
  ['role_10',['Role',['../bid_role_include.html',1,'include.mk - Header File Role'],['../bid_role_prog.html',1,'prog.mk - Application Role'],['../bid_role_test.html',1,'test.mk - Test Application Role']]],
  ['root_20pager_11',['Sigma0, the Root-Pager',['../l4re_servers_sigma0.html',1,'l4re_servers']]],
  ['root_20task_12',['Moe, the Root-Task',['../l4re_servers_moe.html',1,'l4re_servers']]],
  ['rpc_13',['Parameter types for RPC',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_types',1,'']]],
  ['rpc_20method_20declaration_14',['RPC Method Declaration',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_members',1,'']]],
  ['rpc_20return_20types_15',['RPC Return Types',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_return_types',1,'']]],
  ['rtc_20driver_16',['RTC driver',['../l4re_servers_rtc_driver.html',1,'l4re_servers']]],
  ['runtime_20environment_17',['L4Re Runtime Environment',['../l4re_intro.html#main_l4re_sec',1,'']]]
];
