var searchData=
[
  ['scheduler_20subsystem_0',['Scheduler subsystem',['../l4re_servers_moe.html#l4re_moe_scheduler',1,'']]],
  ['scheduling_1',['Control scheduling',['../l4re_servers_ned.html#l4re_ned_sched',1,'']]],
  ['selector_2',['Partner capability selector',['../l4re_concepts_ipc.html#l4re_concepts_descr_capidx',1,'']]],
  ['selector_20and_20flags_3',['Capability selector and flags',['../l4re_concepts_abi.html#l4re_concepts_abi_capsel',1,'']]],
  ['send_20items_4',['Send Items',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_2_2',1,'Send Items'],['../l4re_concepts_ipc.html#l4re_concepts_descr_transfer',1,'Transfer of Typed Send Items']]],
  ['send_20items_5',['Send items',['../l4re_concepts_abi.html#l4re_concepts_abi_items_send',1,'']]],
  ['server_6',['Io, the Io Server',['../io.html',1,'l4re_servers']]],
  ['server_20building_20blocks_7',['Application and Server Building Blocks',['../l4re_concepts_apps_svr.html',1,'l4re_concepts']]],
  ['server_20side_20interface_8',['Server Side Interface',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_server_interface',1,'']]],
  ['servers_9',['L4Re Servers',['../l4re_servers.html',1,'']]],
  ['servers_10',['Connecting clients and servers',['../l4re_concepts_env_and_start.html#l4re_config_connection',1,'']]],
  ['service_11',['Providing a Service',['../l4re_concepts_apps_svr.html#l4re_concepts_service',1,'']]],
  ['side_20interface_12',['Server Side Interface',['../l4_cxx_ipc_iface.html#l4_cxx_ipc_iface_server_interface',1,'']]],
  ['sigma0_20the_20root_20pager_13',['Sigma0, the Root-Pager',['../l4re_servers_sigma0.html',1,'l4re_servers']]],
  ['simple_20messages_14',['Simple Messages',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_2_1',1,'']]],
  ['space_15',['DMA Space',['../l4re_servers_moe.html#l4re_moe_dma_space',1,'']]],
  ['spaces_16',['Data spaces',['../l4re_concepts_ds_rm.html#l4re_concept_data_spaces',1,'']]],
  ['spaces_20and_20mappings_17',['Spaces and Mappings',['../l4re_concepts_mapping.html',1,'l4re_concepts']]],
  ['spaces_20and_20the_20region_20map_18',['Memory management - Data Spaces and the Region Map',['../l4re_concepts_ds_rm.html',1,'l4re_concepts']]],
  ['startup_19',['Configuring an application before startup',['../l4re_concepts_env_and_start.html#l4re_ns_config',1,'']]],
  ['startup_20details_20',['Application Startup Details',['../l4re_servers_ned.html#l4re_ned_startup',1,'']]],
  ['stream_21',['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']]],
  ['structure_22',['L4Re System Structure',['../l4re_intro.html#l4re_system_structure',1,'']]],
  ['subsystem_23',['Log Subsystem',['../l4re_servers_moe.html#l4re_moe_log',1,'']]],
  ['subsystem_24',['Scheduler subsystem',['../l4re_servers_moe.html#l4re_moe_scheduler',1,'']]],
  ['support_25',['Pthread Support',['../l4re_pthreads.html',1,'l4re_concepts']]],
  ['switch_26',['l4vio_switch, a virtual network switch',['../l4re_servers_vio_switch.html',1,'l4re_servers']]],
  ['system_27',['L4Re Build System',['../l4re_build_system.html',1,'l4re_concepts']]],
  ['system_20structure_28',['L4Re System Structure',['../l4re_intro.html#l4re_system_structure',1,'']]]
];
