var group__l4util__kip__api =
[
    [ "kip.h", "util_2kip_8h.html", null ],
    [ "l4util_kip_for_each_feature", "group__l4util__kip__api.html#gaa4aa45346c8942c626e73e43bbee8aa3", null ],
    [ "l4util_kip_kernel_abi_version", "group__l4util__kip__api.html#gabb39cbc849671199be3f4548b3de1144", null ],
    [ "l4util_kip_kernel_has_feature", "group__l4util__kip__api.html#ga5f85f4f3111f2b7057ece98747b987ed", null ]
];