var group__l4__kernel__object__api =
[
    [ "IPC-Gate API", "group__l4__kernel__object__gate__api.html", "group__l4__kernel__object__gate__api" ],
    [ "DMA space", "group__l4__kernel__object__dmar__space.html", null ],
    [ "L4 kernel object type information", "group__l4__kobject__rtti.html", "group__l4__kobject__rtti" ],
    [ "Factory", "group__l4__factory__api.html", "group__l4__factory__api" ],
    [ "Virtual Machines", "group__l4__vm__api.html", "group__l4__vm__api" ],
    [ "Interrupt controller", "group__l4__icu__api.html", "group__l4__icu__api" ],
    [ "IRQs", "group__l4__irq__api.html", "group__l4__irq__api" ],
    [ "Platform Control C API", "group__l4__platform__control__api.html", "group__l4__platform__control__api" ],
    [ "Scheduler", "group__l4__scheduler__api.html", "group__l4__scheduler__api" ],
    [ "Kernel-provided semaphore", "group__l4__semaphore__api.html", "group__l4__semaphore__api" ],
    [ "Task", "group__l4__task__api.html", "group__l4__task__api" ],
    [ "Thread", "group__l4__thread__api.html", "group__l4__thread__api" ],
    [ "Thread groups", "group__l4__thread__group__api.html", "group__l4__thread__group__api" ],
    [ "Virtual Console", "group__l4__vcon__api.html", "group__l4__vcon__api" ],
    [ "L4::Kobject", "classL4_1_1Kobject.html", [
      [ "cap", "classL4_1_1Kobject.html#a4f2117ae76762f4084e6a1adb915863c", null ],
      [ "dec_refcnt", "classL4_1_1Kobject.html#a9fe009599de49f1af438ff49998faec0", null ]
    ] ],
    [ "L4::Vm", "classL4_1_1Vm.html", [
      [ "vgicc_map", "classL4_1_1Vm.html#ab14cb70e8330d3e1ce5528e96fe0a0da", null ]
    ] ]
];