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

Dependents:   Final_Coffee_Roaster

Fork of mbed-rtos by mbed official

Committer:
mbed_official
Date:
Thu Jul 31 15:00:07 2014 +0100
Revision:
39:34e80e862021
Parent:
37:478a48c29e88
Child:
41:631c0f1008c3
Synchronized with git revision 201479aefedd2aec8038093b3c65639fe31ce0d8

Full URL: https://github.com/mbedmicro/mbed/commit/201479aefedd2aec8038093b3c65639fe31ce0d8/

Added STM32F411RE to list

Who changed what in which revision?

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