var searchData=
[
  ['data_20spaces_0',['Data spaces',['../l4re_concepts_ds_rm.html#l4re_concept_data_spaces',1,'']]],
  ['data_20spaces_20and_20the_20region_20map_1',['Memory management - Data Spaces and the Region Map',['../l4re_concepts_ds_rm.html',1,'l4re_concepts']]],
  ['dataspace_2',['Dataspace',['../l4re_servers_moe.html#l4re_moe_dataspace',1,'']]],
  ['debugger_3',['debugger',['../l4re_servers_ned.html#l4re_ned_jdb',1,'Access to the kernel debugger'],['../todo.html#_todo000002',1,'Access to the kernel debugger']]],
  ['declaration_4',['RPC Method Declaration',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_members',1,'']]],
  ['definition_20language_5',['Interface Definition Language',['../l4_cxx_ipc_iface.html',1,'l4re_concepts']]],
  ['deprecated_20list_6',['Deprecated List',['../deprecated.html',1,'']]],
  ['descriptor_20register_7',['IPC Buffer Descriptor Register',['../l4re_concepts_ipc.html#l4re_concepts_descr_bdr',1,'']]],
  ['descriptor_20register_8',['Buffer descriptor register',['../l4re_concepts_abi.html#l4re_concepts_abi_utcb_bdr',1,'']]],
  ['details_9',['Application Startup Details',['../l4re_servers_ned.html#l4re_ned_startup',1,'']]],
  ['device_20tree_20generator_20for_20uvmm_10',['uvmm_dtg The device tree generator for Uvmm',['../l4re_servers_uvmm_uvmm_dtg.html',1,'']]],
  ['dma_20space_11',['DMA Space',['../l4re_servers_moe.html#l4re_moe_dma_space',1,'']]],
  ['driver_12',['RTC driver',['../l4re_servers_rtc_driver.html',1,'l4re_servers']]],
  ['during_20ipc_13',['Timeouts during IPC',['../group__l4__ipc__api.html#ipc_timeouts',1,'']]]
];
