mbed official / mbed-rtos

Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Dependents:   denki-yohou_b TestY201 Network-RTOS NTPClient_HelloWorld ... more

Deprecated

This is the mbed 2 rtos library. mbed OS 5 integrates the mbed library with mbed-rtos. With this, we have provided thread safety for all mbed APIs. If you'd like to learn about using mbed OS 5, please see the docs.

rtx/TARGET_CORTEX_M/RTX_Conf_CM.c@49:77c8e4604045, 2014-11-06 (annotated)

Committer:
mbed_official
Date:
Thu Nov 06 13:00:11 2014 +0000
Revision:
49:77c8e4604045
Child:
50:64a5202c3676
Synchronized with git revision 7b90c2ba137baaf9769219e0e8a7b8e8d1299c4f



Full URL: https://github.com/mbedmicro/mbed/commit/7b90c2ba137baaf9769219e0e8a7b8e8d1299c4f/



This target is not yet tested, so it can't be released as part of the official

SDK build for now.

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 49:77c8e4604045 1 /*----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 2 * RL-ARM - RTX
mbed_official 49:77c8e4604045 3 *----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 4 * Name: RTX_Conf_CM.C
mbed_official 49:77c8e4604045 5 * Purpose: Configuration of CMSIS RTX Kernel for Cortex-M
mbed_official 49:77c8e4604045 6 * Rev.: V4.60
mbed_official 49:77c8e4604045 7 *----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 8 *
mbed_official 49:77c8e4604045 9 * Copyright (c) 1999-2009 KEIL, 2009-2012 ARM Germany GmbH
mbed_official 49:77c8e4604045 10 * All rights reserved.
mbed_official 49:77c8e4604045 11 * Redistribution and use in source and binary forms, with or without
mbed_official 49:77c8e4604045 12 * modification, are permitted provided that the following conditions are met:
mbed_official 49:77c8e4604045 13 * - Redistributions of source code must retain the above copyright
mbed_official 49:77c8e4604045 14 * notice, this list of conditions and the following disclaimer.
mbed_official 49:77c8e4604045 15 * - Redistributions in binary form must reproduce the above copyright
mbed_official 49:77c8e4604045 16 * notice, this list of conditions and the following disclaimer in the
mbed_official 49:77c8e4604045 17 * documentation and/or other materials provided with the distribution.
mbed_official 49:77c8e4604045 18 * - Neither the name of ARM nor the names of its contributors may be used
mbed_official 49:77c8e4604045 19 * to endorse or promote products derived from this software without
mbed_official 49:77c8e4604045 20 * specific prior written permission.
mbed_official 49:77c8e4604045 21 *
mbed_official 49:77c8e4604045 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
mbed_official 49:77c8e4604045 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
mbed_official 49:77c8e4604045 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
mbed_official 49:77c8e4604045 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
mbed_official 49:77c8e4604045 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
mbed_official 49:77c8e4604045 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
mbed_official 49:77c8e4604045 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
mbed_official 49:77c8e4604045 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
mbed_official 49:77c8e4604045 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
mbed_official 49:77c8e4604045 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
mbed_official 49:77c8e4604045 32 * POSSIBILITY OF SUCH DAMAGE.
mbed_official 49:77c8e4604045 33 *---------------------------------------------------------------------------*/
mbed_official 49:77c8e4604045 34
mbed_official 49:77c8e4604045 35 #include "cmsis_os.h"
mbed_official 49:77c8e4604045 36
mbed_official 49:77c8e4604045 37
mbed_official 49:77c8e4604045 38 /*----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 39 * RTX User configuration part BEGIN
mbed_official 49:77c8e4604045 40 *---------------------------------------------------------------------------*/
mbed_official 49:77c8e4604045 41
mbed_official 49:77c8e4604045 42 //-------- <<< Use Configuration Wizard in Context Menu >>> -----------------
mbed_official 49:77c8e4604045 43 //
mbed_official 49:77c8e4604045 44 // <h>Thread Configuration
mbed_official 49:77c8e4604045 45 // =======================
mbed_official 49:77c8e4604045 46 //
mbed_official 49:77c8e4604045 47 // <o>Number of concurrent running threads <0-250>
mbed_official 49:77c8e4604045 48 // <i> Defines max. number of threads that will run at the same time.
mbed_official 49:77c8e4604045 49 // counting "main", but not counting "osTimerThread"
mbed_official 49:77c8e4604045 50 // <i> Default: 6
mbed_official 49:77c8e4604045 51 #ifndef OS_TASKCNT
mbed_official 49:77c8e4604045 52 # if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC4337) || defined(TARGET_LPC1347) || defined(TARGET_K64F) || defined(TARGET_STM32F401RE)\
mbed_official 49:77c8e4604045 53 || defined(TARGET_KL46Z) || defined(TARGET_KL43Z) || defined(TARGET_STM32F407) || defined(TARGET_F407VG) || defined(TARGET_STM32F303VC) || defined(TARGET_LPC1549) || defined(TARGET_LPC11U68) || defined(TARGET_NRF51822) || defined(TARGET_STM32F411RE)
mbed_official 49:77c8e4604045 54 # define OS_TASKCNT 14
mbed_official 49:77c8e4604045 55 # elif defined(TARGET_LPC11U24) || defined(TARGET_LPC11U35_401) || defined(TARGET_LPC11U35_501) || defined(TARGET_LPCCAPPUCCINO) || defined(TARGET_LPC1114) \
mbed_official 49:77c8e4604045 56 || defined(TARGET_LPC812) || defined(TARGET_KL25Z) || defined(TARGET_KL05Z) || defined(TARGET_STM32F100RB) || defined(TARGET_STM32F051R8) \
mbed_official 49:77c8e4604045 57 || defined(TARGET_STM32F103RB) || defined(TARGET_LPC824) || defined(TARGET_STM32F302R8) || defined(TARGET_STM32F334R8) || defined(TARGET_STM32F334C8)
mbed_official 49:77c8e4604045 58 # define OS_TASKCNT 6
mbed_official 49:77c8e4604045 59 # else
mbed_official 49:77c8e4604045 60 # error "no target defined"
mbed_official 49:77c8e4604045 61 # endif
mbed_official 49:77c8e4604045 62 #endif
mbed_official 49:77c8e4604045 63
mbed_official 49:77c8e4604045 64 // <o>Scheduler (+ interrupts) stack size [bytes] <64-4096:8><#/4>
mbed_official 49:77c8e4604045 65 #ifndef OS_SCHEDULERSTKSIZE
mbed_official 49:77c8e4604045 66 # if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC4337) || defined(TARGET_LPC1347) || defined(TARGET_K64F) || defined(TARGET_STM32F401RE)\
mbed_official 49:77c8e4604045 67 || defined(TARGET_KL46Z) || defined(TARGET_KL43Z) || defined(TARGET_STM32F407) || defined(TARGET_F407VG) || defined(TARGET_STM32F303VC) || defined(TARGET_LPC1549) || defined(TARGET_LPC11U68) || defined(TARGET_NRF51822) || defined(TARGET_STM32F411RE)
mbed_official 49:77c8e4604045 68 # define OS_SCHEDULERSTKSIZE 256
mbed_official 49:77c8e4604045 69 # elif defined(TARGET_LPC11U24) || defined(TARGET_LPC11U35_401) || defined(TARGET_LPC11U35_501) || defined(TARGET_LPCCAPPUCCINO) || defined(TARGET_LPC1114) \
mbed_official 49:77c8e4604045 70 || defined(TARGET_LPC812) || defined(TARGET_KL25Z) || defined(TARGET_KL05Z) || defined(TARGET_STM32F100RB) || defined(TARGET_STM32F051R8) \
mbed_official 49:77c8e4604045 71 || defined(TARGET_STM32F103RB) || defined(TARGET_LPC824) || defined(TARGET_STM32F302R8) || defined(TARGET_STM32F334R8) || defined(TARGET_STM32F334C8)
mbed_official 49:77c8e4604045 72 # define OS_SCHEDULERSTKSIZE 128
mbed_official 49:77c8e4604045 73 # else
mbed_official 49:77c8e4604045 74 # error "no target defined"
mbed_official 49:77c8e4604045 75 # endif
mbed_official 49:77c8e4604045 76 #endif
mbed_official 49:77c8e4604045 77
mbed_official 49:77c8e4604045 78 // <o>Idle stack size [bytes] <64-4096:8><#/4>
mbed_official 49:77c8e4604045 79 // <i> Defines default stack size for the Idle thread.
mbed_official 49:77c8e4604045 80 #ifndef OS_IDLESTKSIZE
mbed_official 49:77c8e4604045 81 #define OS_IDLESTKSIZE 128
mbed_official 49:77c8e4604045 82 #endif
mbed_official 49:77c8e4604045 83
mbed_official 49:77c8e4604045 84 // <o>Timer Thread stack size [bytes] <64-4096:8><#/4>
mbed_official 49:77c8e4604045 85 // <i> Defines stack size for Timer thread.
mbed_official 49:77c8e4604045 86 // <i> Default: 200
mbed_official 49:77c8e4604045 87 #ifndef OS_TIMERSTKSZ
mbed_official 49:77c8e4604045 88 #define OS_TIMERSTKSZ WORDS_STACK_SIZE
mbed_official 49:77c8e4604045 89 #endif
mbed_official 49:77c8e4604045 90
mbed_official 49:77c8e4604045 91 // <q>Check for stack overflow
mbed_official 49:77c8e4604045 92 // <i> Includes the stack checking code for stack overflow.
mbed_official 49:77c8e4604045 93 // <i> Note that additional code reduces the Kernel performance.
mbed_official 49:77c8e4604045 94 #ifndef OS_STKCHECK
mbed_official 49:77c8e4604045 95 #define OS_STKCHECK 1
mbed_official 49:77c8e4604045 96 #endif
mbed_official 49:77c8e4604045 97
mbed_official 49:77c8e4604045 98 // <o>Processor mode for thread execution
mbed_official 49:77c8e4604045 99 // <0=> Unprivileged mode
mbed_official 49:77c8e4604045 100 // <1=> Privileged mode
mbed_official 49:77c8e4604045 101 // <i> Default: Privileged mode
mbed_official 49:77c8e4604045 102 #ifndef OS_RUNPRIV
mbed_official 49:77c8e4604045 103 #define OS_RUNPRIV 1
mbed_official 49:77c8e4604045 104 #endif
mbed_official 49:77c8e4604045 105
mbed_official 49:77c8e4604045 106 // </h>
mbed_official 49:77c8e4604045 107 // <h>SysTick Timer Configuration
mbed_official 49:77c8e4604045 108 // ==============================
mbed_official 49:77c8e4604045 109 //
mbed_official 49:77c8e4604045 110 // <o>Timer clock value [Hz] <1-1000000000>
mbed_official 49:77c8e4604045 111 // <i> Defines the timer clock value.
mbed_official 49:77c8e4604045 112 // <i> Default: 6000000 (6MHz)
mbed_official 49:77c8e4604045 113 #ifndef OS_CLOCK
mbed_official 49:77c8e4604045 114 # if defined(TARGET_LPC1768) || defined(TARGET_LPC2368)
mbed_official 49:77c8e4604045 115 # define OS_CLOCK 96000000
mbed_official 49:77c8e4604045 116
mbed_official 49:77c8e4604045 117 # elif defined(TARGET_LPC1347) || defined(TARGET_STM32F303VC) || defined(TARGET_LPC1549) || defined(TARGET_STM32F302R8) || defined(TARGET_STM32F334R8) || defined(TARGET_STM32F334C8)
mbed_official 49:77c8e4604045 118 # define OS_CLOCK 72000000
mbed_official 49:77c8e4604045 119
mbed_official 49:77c8e4604045 120 # elif defined(TARGET_LPC11U24) || defined(TARGET_LPC11U35_401) || defined(TARGET_LPC11U35_501) || defined(TARGET_LPCCAPPUCCINO) || defined(TARGET_LPC1114) || defined(TARGET_KL25Z) || defined(TARGET_KL05Z) || defined(TARGET_KL46Z) || defined(TARGET_KL43Z) || defined(TARGET_STM32F051R8) || defined(TARGET_LPC11U68)
mbed_official 49:77c8e4604045 121 # define OS_CLOCK 48000000
mbed_official 49:77c8e4604045 122
mbed_official 49:77c8e4604045 123 # elif defined(TARGET_LPC812)
mbed_official 49:77c8e4604045 124 # define OS_CLOCK 36000000
mbed_official 49:77c8e4604045 125
mbed_official 49:77c8e4604045 126 # elif defined(TARGET_LPC824)
mbed_official 49:77c8e4604045 127 # define OS_CLOCK 30000000
mbed_official 49:77c8e4604045 128
mbed_official 49:77c8e4604045 129 # elif defined(TARGET_STM32F100RB)
mbed_official 49:77c8e4604045 130 # define OS_CLOCK 24000000
mbed_official 49:77c8e4604045 131
mbed_official 49:77c8e4604045 132 # elif defined(TARGET_LPC4088) || defined(TARGET_K64F)
mbed_official 49:77c8e4604045 133 # define OS_CLOCK 120000000
mbed_official 49:77c8e4604045 134
mbed_official 49:77c8e4604045 135 # elif defined(TARGET_LPC4337)
mbed_official 49:77c8e4604045 136 # define OS_CLOCK 204000000
mbed_official 49:77c8e4604045 137
mbed_official 49:77c8e4604045 138 # elif defined(TARGET_STM32F407) || defined(TARGET_F407VG)
mbed_official 49:77c8e4604045 139 # define OS_CLOCK 168000000
mbed_official 49:77c8e4604045 140
mbed_official 49:77c8e4604045 141 # elif defined(TARGET_NRF51822)
mbed_official 49:77c8e4604045 142 # define OS_CLOCK 16000000
mbed_official 49:77c8e4604045 143
mbed_official 49:77c8e4604045 144 # elif defined(TARGET_STM32F401RE)
mbed_official 49:77c8e4604045 145 # define OS_CLOCK 84000000
mbed_official 49:77c8e4604045 146
mbed_official 49:77c8e4604045 147 # elif defined(TARGET_STM32F411RE)
mbed_official 49:77c8e4604045 148 # define OS_CLOCK 100000000
mbed_official 49:77c8e4604045 149
mbed_official 49:77c8e4604045 150 #elif defined(TARGET_STM32F103RB)
mbed_official 49:77c8e4604045 151 # define OS_CLOCK 72000000
mbed_official 49:77c8e4604045 152
mbed_official 49:77c8e4604045 153 # else
mbed_official 49:77c8e4604045 154 # error "no target defined"
mbed_official 49:77c8e4604045 155 # endif
mbed_official 49:77c8e4604045 156 #endif
mbed_official 49:77c8e4604045 157
mbed_official 49:77c8e4604045 158 // <o>Timer tick value [us] <1-1000000>
mbed_official 49:77c8e4604045 159 // <i> Defines the timer tick value.
mbed_official 49:77c8e4604045 160 // <i> Default: 1000 (1ms)
mbed_official 49:77c8e4604045 161 #ifndef OS_TICK
mbed_official 49:77c8e4604045 162 #define OS_TICK 1000
mbed_official 49:77c8e4604045 163 #endif
mbed_official 49:77c8e4604045 164
mbed_official 49:77c8e4604045 165 // </h>
mbed_official 49:77c8e4604045 166
mbed_official 49:77c8e4604045 167 // <h>System Configuration
mbed_official 49:77c8e4604045 168 // =======================
mbed_official 49:77c8e4604045 169 //
mbed_official 49:77c8e4604045 170 // <e>Round-Robin Thread switching
mbed_official 49:77c8e4604045 171 // ===============================
mbed_official 49:77c8e4604045 172 //
mbed_official 49:77c8e4604045 173 // <i> Enables Round-Robin Thread switching.
mbed_official 49:77c8e4604045 174 #ifndef OS_ROBIN
mbed_official 49:77c8e4604045 175 #define OS_ROBIN 1
mbed_official 49:77c8e4604045 176 #endif
mbed_official 49:77c8e4604045 177
mbed_official 49:77c8e4604045 178 // <o>Round-Robin Timeout [ticks] <1-1000>
mbed_official 49:77c8e4604045 179 // <i> Defines how long a thread will execute before a thread switch.
mbed_official 49:77c8e4604045 180 // <i> Default: 5
mbed_official 49:77c8e4604045 181 #ifndef OS_ROBINTOUT
mbed_official 49:77c8e4604045 182 #define OS_ROBINTOUT 5
mbed_official 49:77c8e4604045 183 #endif
mbed_official 49:77c8e4604045 184
mbed_official 49:77c8e4604045 185 // </e>
mbed_official 49:77c8e4604045 186
mbed_official 49:77c8e4604045 187 // <e>User Timers
mbed_official 49:77c8e4604045 188 // ==============
mbed_official 49:77c8e4604045 189 // <i> Enables user Timers
mbed_official 49:77c8e4604045 190 #ifndef OS_TIMERS
mbed_official 49:77c8e4604045 191 #define OS_TIMERS 1
mbed_official 49:77c8e4604045 192 #endif
mbed_official 49:77c8e4604045 193
mbed_official 49:77c8e4604045 194 // <o>Timer Thread Priority
mbed_official 49:77c8e4604045 195 // <1=> Low
mbed_official 49:77c8e4604045 196 // <2=> Below Normal
mbed_official 49:77c8e4604045 197 // <3=> Normal
mbed_official 49:77c8e4604045 198 // <4=> Above Normal
mbed_official 49:77c8e4604045 199 // <5=> High
mbed_official 49:77c8e4604045 200 // <6=> Realtime (highest)
mbed_official 49:77c8e4604045 201 // <i> Defines priority for Timer Thread
mbed_official 49:77c8e4604045 202 // <i> Default: High
mbed_official 49:77c8e4604045 203 #ifndef OS_TIMERPRIO
mbed_official 49:77c8e4604045 204 #define OS_TIMERPRIO 5
mbed_official 49:77c8e4604045 205 #endif
mbed_official 49:77c8e4604045 206
mbed_official 49:77c8e4604045 207 // <o>Timer Callback Queue size <1-32>
mbed_official 49:77c8e4604045 208 // <i> Number of concurrent active timer callback functions.
mbed_official 49:77c8e4604045 209 // <i> Default: 4
mbed_official 49:77c8e4604045 210 #ifndef OS_TIMERCBQSZ
mbed_official 49:77c8e4604045 211 #define OS_TIMERCBQS 4
mbed_official 49:77c8e4604045 212 #endif
mbed_official 49:77c8e4604045 213
mbed_official 49:77c8e4604045 214 // </e>
mbed_official 49:77c8e4604045 215
mbed_official 49:77c8e4604045 216 // <o>ISR FIFO Queue size<4=> 4 entries <8=> 8 entries
mbed_official 49:77c8e4604045 217 // <12=> 12 entries <16=> 16 entries
mbed_official 49:77c8e4604045 218 // <24=> 24 entries <32=> 32 entries
mbed_official 49:77c8e4604045 219 // <48=> 48 entries <64=> 64 entries
mbed_official 49:77c8e4604045 220 // <96=> 96 entries
mbed_official 49:77c8e4604045 221 // <i> ISR functions store requests to this buffer,
mbed_official 49:77c8e4604045 222 // <i> when they are called from the interrupt handler.
mbed_official 49:77c8e4604045 223 // <i> Default: 16 entries
mbed_official 49:77c8e4604045 224 #ifndef OS_FIFOSZ
mbed_official 49:77c8e4604045 225 #define OS_FIFOSZ 16
mbed_official 49:77c8e4604045 226 #endif
mbed_official 49:77c8e4604045 227
mbed_official 49:77c8e4604045 228 // </h>
mbed_official 49:77c8e4604045 229
mbed_official 49:77c8e4604045 230 //------------- <<< end of configuration section >>> -----------------------
mbed_official 49:77c8e4604045 231
mbed_official 49:77c8e4604045 232 // Standard library system mutexes
mbed_official 49:77c8e4604045 233 // ===============================
mbed_official 49:77c8e4604045 234 // Define max. number system mutexes that are used to protect
mbed_official 49:77c8e4604045 235 // the arm standard runtime library. For microlib they are not used.
mbed_official 49:77c8e4604045 236 #ifndef OS_MUTEXCNT
mbed_official 49:77c8e4604045 237 #define OS_MUTEXCNT 12
mbed_official 49:77c8e4604045 238 #endif
mbed_official 49:77c8e4604045 239
mbed_official 49:77c8e4604045 240 /*----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 241 * RTX User configuration part END
mbed_official 49:77c8e4604045 242 *---------------------------------------------------------------------------*/
mbed_official 49:77c8e4604045 243
mbed_official 49:77c8e4604045 244 #define OS_TRV ((uint32_t)(((double)OS_CLOCK*(double)OS_TICK)/1E6)-1)
mbed_official 49:77c8e4604045 245
mbed_official 49:77c8e4604045 246
mbed_official 49:77c8e4604045 247 /*----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 248 * OS Idle daemon
mbed_official 49:77c8e4604045 249 *---------------------------------------------------------------------------*/
mbed_official 49:77c8e4604045 250 void os_idle_demon (void) {
mbed_official 49:77c8e4604045 251 /* The idle demon is a system thread, running when no other thread is */
mbed_official 49:77c8e4604045 252 /* ready to run. */
mbed_official 49:77c8e4604045 253
mbed_official 49:77c8e4604045 254 /* Sleep: ideally, we should put the chip to sleep.
mbed_official 49:77c8e4604045 255 Unfortunately, this usually requires disconnecting the interface chip (debugger).
mbed_official 49:77c8e4604045 256 This can be done, but it would break the local file system.
mbed_official 49:77c8e4604045 257 */
mbed_official 49:77c8e4604045 258 for (;;) {
mbed_official 49:77c8e4604045 259 // sleep();
mbed_official 49:77c8e4604045 260 }
mbed_official 49:77c8e4604045 261 }
mbed_official 49:77c8e4604045 262
mbed_official 49:77c8e4604045 263 /*----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 264 * RTX Errors
mbed_official 49:77c8e4604045 265 *---------------------------------------------------------------------------*/
mbed_official 49:77c8e4604045 266 extern void mbed_die(void);
mbed_official 49:77c8e4604045 267
mbed_official 49:77c8e4604045 268 void os_error (uint32_t err_code) {
mbed_official 49:77c8e4604045 269 /* This function is called when a runtime error is detected. Parameter */
mbed_official 49:77c8e4604045 270 /* 'err_code' holds the runtime error code (defined in RTX_Conf.h). */
mbed_official 49:77c8e4604045 271 mbed_die();
mbed_official 49:77c8e4604045 272 }
mbed_official 49:77c8e4604045 273
mbed_official 49:77c8e4604045 274 void sysThreadError(osStatus status) {
mbed_official 49:77c8e4604045 275 if (status != osOK) {
mbed_official 49:77c8e4604045 276 mbed_die();
mbed_official 49:77c8e4604045 277 }
mbed_official 49:77c8e4604045 278 }
mbed_official 49:77c8e4604045 279
mbed_official 49:77c8e4604045 280 /*----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 281 * RTX Configuration Functions
mbed_official 49:77c8e4604045 282 *---------------------------------------------------------------------------*/
mbed_official 49:77c8e4604045 283
mbed_official 49:77c8e4604045 284 #include "RTX_CM_lib.h"
mbed_official 49:77c8e4604045 285
mbed_official 49:77c8e4604045 286 /*----------------------------------------------------------------------------
mbed_official 49:77c8e4604045 287 * end of file
mbed_official 49:77c8e4604045 288 *---------------------------------------------------------------------------*/
mbed_official 49:77c8e4604045 289