var searchData=
[
  ['kernel_20abi_0',['Kernel ABI',['../l4re_concepts_abi.html',1,'l4re_concepts']]],
  ['kernel_20bootstrapper_1',['Bootstrap, the L4 kernel bootstrapper',['../bootstrap.html',1,'']]],
  ['kernel_20debugger_2',['kernel debugger',['../l4re_servers_ned.html#l4re_ned_jdb',1,'Access to the kernel debugger'],['../todo.html#_todo000002',1,'Access to the kernel debugger']]],
  ['kernel_20factory_3',['Kernel Factory',['../l4re_concepts_kernel_factory.html',1,'l4re_concepts']]],
  ['kernel_20object_4',['User Thread to Kernel Object',['../l4re_concepts_ipc.html#l4re_concepts_ipc_examples_1',1,'']]],
  ['kernel_20objects_5',['Kernel Objects',['../l4re_intro.html#l4re_concepts_fiasco_kobjects',1,'']]]
];