1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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 ]
];
|
