var _configure =
[
    [ "Thread Configuration", "_thread_config.html", [
      [ "Configuration of Thread count and Stack Space", "_thread_config.html#StackConfig", null ],
      [ "Stack Overflow Checking", "_thread_config.html#StackCheck", null ],
      [ "Stack Usage Watermark", "_thread_config.html#StackUsage", null ],
      [ "Processor Mode for Thread Execution", "_thread_config.html#ProcessorMode", null ]
    ] ],
    [ "RTX Kernel Tick Timer Configuration", "_timer_tick.html", [
      [ "Usage of an Alternate Timer as RTX Kernel Timer", "_timer_tick.html#AltTimer", null ]
    ] ],
    [ "System Configuration", "_system_config.html", [
      [ "Settings for Round-Robin Thread Switching", "_system_config.html#RoundRobin", null ],
      [ "User Timer Management", "_system_config.html#UserTimer", null ],
      [ "ISR FIFO Queue size", "_system_config.html#ISRFIFO", null ]
    ] ],
    [ "Configuration for Low-Power Modes", "_low_power.html", [
      [ "Tick-less operation", "_low_power.html#TickLess", null ]
    ] ],
    [ "SVC Functions", "_s_v_c_functions.html", null ]
];