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.

Committer:
<>
Date:
Thu Sep 01 15:13:42 2016 +0100
Revision:
121:3da5f554d8bf
Parent:
112:53ace74b190c
Child:
123:58563e6cba1e
RTOS rev121

Compatible with the mbed library v125

Changes:
- K64F: Revert to hardcoded stack pointer in RTX.
- Adding NCS36510 support.
- Add MAX32620 target support.
- Fix implicit declaration of function 'atexit'.

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 112:53ace74b190c 1 /*----------------------------------------------------------------------------
mbed_official 112:53ace74b190c 2 * CMSIS-RTOS - RTX
mbed_official 112:53ace74b190c 3 *----------------------------------------------------------------------------
mbed_official 112:53ace74b190c 4 * Name: RTX_CONFIG.H
mbed_official 112:53ace74b190c 5 * Purpose: Exported functions of RTX_Config.c
mbed_official 112:53ace74b190c 6 * Rev.: V4.79
mbed_official 112:53ace74b190c 7 *----------------------------------------------------------------------------
mbed_official 112:53ace74b190c 8 *
mbed_official 112:53ace74b190c 9 * Copyright (c) 1999-2009 KEIL, 2009-2015 ARM Germany GmbH
mbed_official 112:53ace74b190c 10 * All rights reserved.
mbed_official 112:53ace74b190c 11 * Redistribution and use in source and binary forms, with or without
mbed_official 112:53ace74b190c 12 * modification, are permitted provided that the following conditions are met:
mbed_official 112:53ace74b190c 13 * - Redistributions of source code must retain the above copyright
mbed_official 112:53ace74b190c 14 * notice, this list of conditions and the following disclaimer.
mbed_official 112:53ace74b190c 15 * - Redistributions in binary form must reproduce the above copyright
mbed_official 112:53ace74b190c 16 * notice, this list of conditions and the following disclaimer in the
mbed_official 112:53ace74b190c 17 * documentation and/or other materials provided with the distribution.
mbed_official 112:53ace74b190c 18 * - Neither the name of ARM nor the names of its contributors may be used
mbed_official 112:53ace74b190c 19 * to endorse or promote products derived from this software without
mbed_official 112:53ace74b190c 20 * specific prior written permission.
mbed_official 112:53ace74b190c 21 *
mbed_official 112:53ace74b190c 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
mbed_official 112:53ace74b190c 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
mbed_official 112:53ace74b190c 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
mbed_official 112:53ace74b190c 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
mbed_official 112:53ace74b190c 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
mbed_official 112:53ace74b190c 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
mbed_official 112:53ace74b190c 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
mbed_official 112:53ace74b190c 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
mbed_official 112:53ace74b190c 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
mbed_official 112:53ace74b190c 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
mbed_official 112:53ace74b190c 32 * POSSIBILITY OF SUCH DAMAGE.
mbed_official 112:53ace74b190c 33 *---------------------------------------------------------------------------*/
mbed_official 112:53ace74b190c 34
mbed_official 112:53ace74b190c 35
mbed_official 112:53ace74b190c 36 /* Error Codes */
mbed_official 112:53ace74b190c 37 #define OS_ERR_STK_OVF 1U
mbed_official 112:53ace74b190c 38 #define OS_ERR_FIFO_OVF 2U
mbed_official 112:53ace74b190c 39 #define OS_ERR_MBX_OVF 3U
mbed_official 112:53ace74b190c 40 #define OS_ERR_TIMER_OVF 4U
mbed_official 112:53ace74b190c 41
mbed_official 112:53ace74b190c 42 /* Definitions */
mbed_official 112:53ace74b190c 43 #define BOX_ALIGN_8 0x80000000U
mbed_official 112:53ace74b190c 44 #define _declare_box(pool,size,cnt) U32 pool[(((size)+3)/4)*(cnt) + 3]
mbed_official 112:53ace74b190c 45 #define _declare_box8(pool,size,cnt) U64 pool[(((size)+7)/8)*(cnt) + 2]
mbed_official 112:53ace74b190c 46 #define _init_box8(pool,size,bsize) _init_box (pool,size,(bsize) | BOX_ALIGN_8)
mbed_official 112:53ace74b190c 47
mbed_official 112:53ace74b190c 48 /* Variables */
mbed_official 112:53ace74b190c 49 extern U32 mp_tcb[];
mbed_official 112:53ace74b190c 50 extern U64 mp_stk[];
mbed_official 112:53ace74b190c 51 extern U32 os_fifo[];
mbed_official 112:53ace74b190c 52 extern void *os_active_TCB[];
mbed_official 112:53ace74b190c 53
mbed_official 112:53ace74b190c 54 /* Constants */
mbed_official 112:53ace74b190c 55 extern U16 const os_maxtaskrun;
mbed_official 112:53ace74b190c 56 extern U32 const os_trv;
mbed_official 112:53ace74b190c 57 extern U8 const os_flags;
mbed_official 112:53ace74b190c 58 extern U32 const os_stackinfo;
mbed_official 112:53ace74b190c 59 extern U32 const os_rrobin;
mbed_official 112:53ace74b190c 60 extern U32 const os_clockrate;
mbed_official 112:53ace74b190c 61 extern U32 const os_timernum;
mbed_official 112:53ace74b190c 62 extern U16 const mp_tcb_size;
mbed_official 112:53ace74b190c 63 extern U32 const mp_stk_size;
mbed_official 112:53ace74b190c 64 extern U32 const *m_tmr;
mbed_official 112:53ace74b190c 65 extern U16 const mp_tmr_size;
mbed_official 112:53ace74b190c 66 extern U8 const os_fifo_size;
mbed_official 112:53ace74b190c 67
mbed_official 112:53ace74b190c 68 /* Functions */
mbed_official 112:53ace74b190c 69 extern void os_idle_demon (void);
mbed_official 112:53ace74b190c 70 extern S32 os_tick_init (void);
mbed_official 112:53ace74b190c 71 extern U32 os_tick_val (void);
mbed_official 112:53ace74b190c 72 extern U32 os_tick_ovf (void);
mbed_official 112:53ace74b190c 73 extern void os_tick_irqack (void);
mbed_official 112:53ace74b190c 74 extern void os_tmr_call (U16 info);
mbed_official 112:53ace74b190c 75 extern void os_error (U32 err_code);
mbed_official 112:53ace74b190c 76
mbed_official 112:53ace74b190c 77 /*----------------------------------------------------------------------------
mbed_official 112:53ace74b190c 78 * end of file
mbed_official 112:53ace74b190c 79 *---------------------------------------------------------------------------*/