var searchData=
[
  ['kernel_20debugger_0',['Kernel Debugger',['../group__l4__debugger__api.html',1,'']]],
  ['kernel_20information_20dump_1',['Kernel Information Dump',['../group__fiasco__dump__api.html',1,'']]],
  ['kernel_20interface_20page_2',['Kernel Interface Page',['../group__l4__kip__api.html',1,'']]],
  ['kernel_20interface_20page_20api_3',['Kernel Interface Page API',['../group__l4util__kip__api.html',1,'']]],
  ['kernel_20object_20type_20information_4',['L4 kernel object type information',['../group__l4__kobject__rtti.html',1,'']]],
  ['kernel_20objects_5',['Kernel Objects',['../group__l4__kernel__object__api.html',1,'']]],
  ['kernel_20provided_20semaphore_6',['Kernel-provided semaphore',['../group__l4__semaphore__api.html',1,'']]],
  ['kernel_20tracing_7',['Kernel Tracing',['../group__fiasco__trace__api.html',1,'']]],
  ['kumem_20allocator_20utility_8',['Kumem allocator utility',['../group__api__l4re__c__util__kumem__alloc.html',1,'']]],
  ['kumem_20utiltities_9',['Kumem utiltities',['../group__l4re__util__kumem.html',1,'']]]
];
