2 * Copyright (c) 2013-2018 Arm Limited. All rights reserved.
4 * SPDX-License-Identifier: Apache-2.0
6 * Licensed under the Apache License, Version 2.0 (the License); you may
7 * not use this file except in compliance with the License.
8 * You may obtain a copy of the License at
10 * www.apache.org/licenses/LICENSE-2.0
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an AS IS BASIS, WITHOUT
14 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
18 * -----------------------------------------------------------------------------
22 * Project: CMSIS-RTOS RTX
23 * Title: RTX Configuration
25 * -----------------------------------------------------------------------------
28 #include "cmsis_compiler.h"
32 __WEAK __NO_RETURN void osRtxIdleThread (void *argument) {
38 // OS Error Callback function
39 __WEAK uint32_t osRtxErrorNotify (uint32_t code, void *object_id) {
43 case osRtxErrorStackUnderflow:
44 // Stack overflow detected for thread (thread_id=object_id)
46 case osRtxErrorISRQueueOverflow:
47 // ISR Queue overflow detected when inserting object (object_id)
49 case osRtxErrorTimerQueueOverflow:
50 // User Timer Callback Queue overflow detected for timer (timer_id=object_id)
52 case osRtxErrorClibSpace:
53 // Standard C/C++ library libspace not available: increase OS_THREAD_LIBSPACE_NUM
55 case osRtxErrorClibMutex:
56 // Standard C/C++ library mutex initialization failed