var index =
[
    [ "Benefits", "index.html#rtos2_benefits", null ],
    [ "Supported RTOS kernels", "index.html#rtos2_kernels", null ],
    [ "Access to CMSIS-RTOS2", "index.html#rtos2_access", null ]
];