var searchData=
[
  ['factory_0',['Factory',['../group__l4__factory__api.html',1,'']]],
  ['fiasco_20extensions_1',['Fiasco extensions',['../group__api__calls__fiasco.html',1,'']]],
  ['flexpages_2',['Flexpages',['../group__l4__fpage__api.html',1,'']]],
  ['for_20asynchronous_20isr_20handlers_3',['Interface for asynchronous ISR handlers.',['../group__l4irq__api__async.html',1,'']]],
  ['for_20asynchronous_20isr_20handlers_20with_20a_20given_20irq_20capability_4',['Interface for asynchronous ISR handlers with a given IRQ capability.',['../group__l4irq__api__async__cap.html',1,'']]],
  ['for_20svm_5',['VM API for SVM',['../group__l4__vm__svm__api.html',1,'']]],
  ['for_20tz_6',['VM API for TZ',['../group__l4__vm__tz__api.html',1,'']]],
  ['for_20vmx_7',['VM API for VMX',['../group__l4__vm__vmx__api.html',1,'']]],
  ['format_8',['ELF binary format',['../group__l4util__elf.html',1,'']]],
  ['framework_9',['The L4Re IPC Framework',['../group__client__server__ipc.html',1,'']]],
  ['framework_10',['Server-Side IPC framework',['../group__cxx__ipc__server.html',1,'']]],
  ['functionality_11',['functionality',['../group__libedid.html',1,'EDID parsing functionality'],['../group__l4irq__api__irq.html',1,'Interface using direct functionality.'],['../group__l4irq__api__irq__cap.html',1,'Interface using direct functionality.']]],
  ['functions_12',['Functions',['../group__l4util__thread.html',1,'Low-Level Thread Functions'],['../group__l4util__api.html',1,'Utility Functions']]],
  ['functions_13',['functions',['../group__l4util__cpu.html',1,'CPU related functions'],['../group__l4util__internal.html',1,'Internal functions'],['../group__l4vbus__module.html',1,'L4 Vbus functions'],['../group__l4vbus__gpio__module.html',1,'L4vbus GPIO functions'],['../group__l4vbus__pci__module.html',1,'L4vbus PCI functions'],['../group__l4vbus__pm__module.html',1,'L4vbus power management functions']]]
];
