var searchData=
[
  ['scheduler_0',['Scheduler',['../group__l4__scheduler__api.html',1,'']]],
  ['semaphore_1',['Kernel-provided semaphore',['../group__l4__semaphore__api.html',1,'']]],
  ['sender_2',['Sender',['../group__api__l4shm__ringbuf__sender.html',1,'']]],
  ['server_20side_20ipc_20framework_3',['Server-Side IPC framework',['../group__cxx__ipc__server.html',1,'']]],
  ['shared_20memory_20library_4',['Shared Memory Library',['../group__api__l4shm.html',1,'']]],
  ['side_20ipc_20framework_5',['Server-Side IPC framework',['../group__cxx__ipc__server.html',1,'']]],
  ['sigma0_20api_6',['Sigma0 API',['../group__l4sigma0__api.html',1,'']]],
  ['signals_7',['Signals',['../group__api__l4shmc__signal.html',1,'']]],
  ['small_20c_20template_20library_8',['Small C++ Template Library',['../group__cxx__api.html',1,'']]],
  ['space_9',['DMA space',['../group__l4__kernel__object__dmar__space.html',1,'']]],
  ['space_20api_10',['Name-space API',['../group__api__l4re__namespace.html',1,'']]],
  ['space_20interface_11',['DMA Space Interface',['../group__api__l4re__c__dma.html',1,'']]],
  ['support_12',['support',['../group__api__libvcpu__ext.html',1,'Extended vCPU support'],['../group__l4util__random.html',1,'Random number support']]],
  ['support_20library_13',['vCPU Support Library',['../group__api__libvcpu.html',1,'']]],
  ['svm_14',['VM API for SVM',['../group__l4__vm__svm__api.html',1,'']]],
  ['switch_15',['Virtio Net Switch',['../group__virtio__net__switch.html',1,'']]]
];
