[429] | 1 | /* mbed Microcontroller Library
|
---|
| 2 | * Copyright (c) 2006-2012 ARM Limited
|
---|
| 3 | *
|
---|
| 4 | * Permission is hereby granted, free of charge, to any person obtaining a copy
|
---|
| 5 | * of this software and associated documentation files (the "Software"), to deal
|
---|
| 6 | * in the Software without restriction, including without limitation the rights
|
---|
| 7 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
---|
| 8 | * copies of the Software, and to permit persons to whom the Software is
|
---|
| 9 | * furnished to do so, subject to the following conditions:
|
---|
| 10 | *
|
---|
| 11 | * The above copyright notice and this permission notice shall be included in
|
---|
| 12 | * all copies or substantial portions of the Software.
|
---|
| 13 | *
|
---|
| 14 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
---|
| 15 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
---|
| 16 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
---|
| 17 | * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
---|
| 18 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
---|
| 19 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
---|
| 20 | * SOFTWARE.
|
---|
| 21 | */
|
---|
| 22 | #ifndef MBED_RTX_CONF_H
|
---|
| 23 | #define MBED_RTX_CONF_H
|
---|
| 24 |
|
---|
| 25 | #include "mbed_rtx.h"
|
---|
| 26 |
|
---|
| 27 | /** Any access to RTX5 specific data structures used in common code should be wrapped in ifdef MBED_OS_BACKEND_RTX5 */
|
---|
| 28 | #define MBED_OS_BACKEND_RTX5
|
---|
| 29 |
|
---|
| 30 | /** The thread's stack size can be configured by the application, if not explicitly specified it'll default to 4K */
|
---|
| 31 | #ifndef MBED_CONF_APP_THREAD_STACK_SIZE
|
---|
| 32 | #define MBED_CONF_APP_THREAD_STACK_SIZE 4096
|
---|
| 33 | #endif
|
---|
| 34 |
|
---|
| 35 | #define OS_STACK_SIZE MBED_CONF_APP_THREAD_STACK_SIZE
|
---|
| 36 |
|
---|
| 37 | /** The timer thread's stack size can be configured by the application, if not explicitly specified, it'll default to 768 */
|
---|
| 38 | #ifndef MBED_CONF_APP_TIMER_THREAD_STACK_SIZE
|
---|
| 39 | #define MBED_CONF_APP_TIMER_THREAD_STACK_SIZE 768
|
---|
| 40 | #endif
|
---|
| 41 |
|
---|
| 42 | #define OS_TIMER_THREAD_STACK_SIZE MBED_CONF_APP_TIMER_THREAD_STACK_SIZE
|
---|
| 43 |
|
---|
| 44 | /** The idle thread's stack size can be configured by the application, if not explicitly specified, it'll default to 512 */
|
---|
| 45 | #ifndef MBED_CONF_APP_IDLE_THREAD_STACK_SIZE
|
---|
| 46 | #define MBED_CONF_APP_IDLE_THREAD_STACK_SIZE 512
|
---|
| 47 | #endif
|
---|
| 48 |
|
---|
| 49 | #define OS_IDLE_THREAD_STACK_SIZE MBED_CONF_APP_IDLE_THREAD_STACK_SIZE
|
---|
| 50 |
|
---|
| 51 | #define OS_DYNAMIC_MEM_SIZE 0
|
---|
| 52 |
|
---|
| 53 | #if defined(OS_TICK_FREQ) && (OS_TICK_FREQ != 1000)
|
---|
| 54 | #error "OS Tickrate must be 1000 for system timing"
|
---|
| 55 | #endif
|
---|
| 56 |
|
---|
| 57 | #if !defined(OS_STACK_WATERMARK) && (defined(MBED_STACK_STATS_ENABLED) || defined(MBED_ALL_STATS_ENABLED))
|
---|
| 58 | #define OS_STACK_WATERMARK 1
|
---|
| 59 | #endif
|
---|
| 60 |
|
---|
| 61 | #if !defined(OS_STACK_WATERMARK) && defined(MBED_THREAD_STATS_ENABLED)
|
---|
| 62 | #define OS_STACK_WATERMARK 1
|
---|
| 63 | #endif
|
---|
| 64 |
|
---|
| 65 |
|
---|
| 66 | #define OS_IDLE_THREAD_TZ_MOD_ID 1
|
---|
| 67 | #define OS_TIMER_THREAD_TZ_MOD_ID 1
|
---|
| 68 |
|
---|
| 69 |
|
---|
| 70 | // Don't adopt default multi-thread support for ARM/ARMC6 toolchains from RTX code base.
|
---|
| 71 | // Provide Mbed-specific instead.
|
---|
| 72 | #define RTX_NO_MULTITHREAD_CLIB
|
---|
| 73 | // LIBSPACE default value set for ARMCC
|
---|
| 74 | #define OS_THREAD_LIBSPACE_NUM 4
|
---|
| 75 |
|
---|
| 76 | #define OS_IDLE_THREAD_NAME "idle_thread"
|
---|
| 77 | #define OS_TIMER_THREAD_NAME "timer_thread"
|
---|
| 78 |
|
---|
| 79 | /* Enable only the evr events we use in Mbed-OS to save flash space. */
|
---|
| 80 | //Following events are used by Mbed-OS, DO NOT disable them
|
---|
| 81 | //#define EVR_RTX_KERNEL_ERROR_DISABLE
|
---|
| 82 | //#define EVR_RTX_THREAD_ERROR_DISABLE
|
---|
| 83 | //#define EVR_RTX_THREAD_EXIT_DISABLE
|
---|
| 84 | //#define EVR_RTX_THREAD_TERMINATE_DISABLE
|
---|
| 85 | //#define EVR_RTX_TIMER_ERROR_DISABLE
|
---|
| 86 | //#define EVR_RTX_EVENT_FLAGS_ERROR_DISABLE
|
---|
| 87 | //#define EVR_RTX_MUTEX_ERROR_DISABLE
|
---|
| 88 | //#define EVR_RTX_SEMAPHORE_ERROR_DISABLE
|
---|
| 89 | //#define EVR_RTX_MEMORY_POOL_ERROR_DISABLE
|
---|
| 90 | //#define EVR_RTX_MESSAGE_QUEUE_ERROR_DISABLE
|
---|
| 91 |
|
---|
| 92 | //Following events are NOT used by Mbed-OS, you may enable them if needed for debug purposes
|
---|
| 93 | #define EVR_RTX_MEMORY_INIT_DISABLE
|
---|
| 94 | #define EVR_RTX_MEMORY_ALLOC_DISABLE
|
---|
| 95 | #define EVR_RTX_MEMORY_FREE_DISABLE
|
---|
| 96 | #define EVR_RTX_MEMORY_BLOCK_INIT_DISABLE
|
---|
| 97 | #define EVR_RTX_MEMORY_BLOCK_ALLOC_DISABLE
|
---|
| 98 | #define EVR_RTX_MEMORY_BLOCK_FREE_DISABLE
|
---|
| 99 | #define EVR_RTX_KERNEL_INITIALIZE_DISABLE
|
---|
| 100 | #define EVR_RTX_KERNEL_INITIALIZED_DISABLE
|
---|
| 101 | #define EVR_RTX_KERNEL_GET_INFO_DISABLE
|
---|
| 102 | #define EVR_RTX_KERNEL_INFO_RETRIEVED_DISABLE
|
---|
| 103 | #define EVR_RTX_KERNEL_GET_STATE_DISABLE
|
---|
| 104 | #define EVR_RTX_KERNEL_START_DISABLE
|
---|
| 105 | #define EVR_RTX_KERNEL_STARTED_DISABLE
|
---|
| 106 | #define EVR_RTX_KERNEL_LOCK_DISABLE
|
---|
| 107 | #define EVR_RTX_KERNEL_LOCKED_DISABLE
|
---|
| 108 | #define EVR_RTX_KERNEL_UNLOCK_DISABLE
|
---|
| 109 | #define EVR_RTX_KERNEL_UNLOCKED_DISABLE
|
---|
| 110 | #define EVR_RTX_KERNEL_RESTORE_LOCK_DISABLE
|
---|
| 111 | #define EVR_RTX_KERNEL_LOCK_RESTORED_DISABLE
|
---|
| 112 | #define EVR_RTX_KERNEL_SUSPEND_DISABLE
|
---|
| 113 | #define EVR_RTX_KERNEL_SUSPENDED_DISABLE
|
---|
| 114 | #define EVR_RTX_KERNEL_RESUME_DISABLE
|
---|
| 115 | #define EVR_RTX_KERNEL_RESUMED_DISABLE
|
---|
| 116 | #define EVR_RTX_KERNEL_GET_TICK_COUNT_DISABLE
|
---|
| 117 | #define EVR_RTX_KERNEL_GET_TICK_FREQ_DISABLE
|
---|
| 118 | #define EVR_RTX_KERNEL_GET_SYS_TIMER_COUNT_DISABLE
|
---|
| 119 | #define EVR_RTX_KERNEL_GET_SYS_TIMER_FREQ_DISABLE
|
---|
| 120 | #define EVR_RTX_THREAD_NEW_DISABLE
|
---|
| 121 | #define EVR_RTX_THREAD_CREATED_DISABLE
|
---|
| 122 | #define EVR_RTX_THREAD_GET_NAME_DISABLE
|
---|
| 123 | #define EVR_RTX_THREAD_GET_ID_DISABLE
|
---|
| 124 | #define EVR_RTX_THREAD_GET_STATE_DISABLE
|
---|
| 125 | #define EVR_RTX_THREAD_GET_STACK_SIZE_DISABLE
|
---|
| 126 | #define EVR_RTX_THREAD_GET_STACK_SPACE_DISABLE
|
---|
| 127 | #define EVR_RTX_THREAD_SET_PRIORITY_DISABLE
|
---|
| 128 | #define EVR_RTX_THREAD_GET_PRIORITY_DISABLE
|
---|
| 129 | #define EVR_RTX_THREAD_YIELD_DISABLE
|
---|
| 130 | #define EVR_RTX_THREAD_SUSPEND_DISABLE
|
---|
| 131 | #define EVR_RTX_THREAD_SUSPENDED_DISABLE
|
---|
| 132 | #define EVR_RTX_THREAD_RESUME_DISABLE
|
---|
| 133 | #define EVR_RTX_THREAD_RESUMED_DISABLE
|
---|
| 134 | #define EVR_RTX_THREAD_DETACH_DISABLE
|
---|
| 135 | #define EVR_RTX_THREAD_DETACHED_DISABLE
|
---|
| 136 | #define EVR_RTX_THREAD_JOIN_DISABLE
|
---|
| 137 | #define EVR_RTX_THREAD_JOIN_PENDING_DISABLE
|
---|
| 138 | #define EVR_RTX_THREAD_JOINED_DISABLE
|
---|
| 139 | #define EVR_RTX_THREAD_BLOCKED_DISABLE
|
---|
| 140 | #define EVR_RTX_THREAD_UNBLOCKED_DISABLE
|
---|
| 141 | #define EVR_RTX_THREAD_PREEMPTED_DISABLE
|
---|
| 142 | #define EVR_RTX_THREAD_SWITCHED_DISABLE
|
---|
| 143 | #define EVR_RTX_THREAD_DESTROYED_DISABLE
|
---|
| 144 | #define EVR_RTX_THREAD_GET_COUNT_DISABLE
|
---|
| 145 | #define EVR_RTX_THREAD_ENUMERATE_DISABLE
|
---|
| 146 | #define EVR_RTX_THREAD_FLAGS_SET_DISABLE
|
---|
| 147 | #define EVR_RTX_THREAD_FLAGS_SET_DONE_DISABLE
|
---|
| 148 | #define EVR_RTX_THREAD_FLAGS_CLEAR_DISABLE
|
---|
| 149 | #define EVR_RTX_THREAD_FLAGS_CLEAR_DONE_DISABLE
|
---|
| 150 | #define EVR_RTX_THREAD_FLAGS_GET_DISABLE
|
---|
| 151 | #define EVR_RTX_THREAD_FLAGS_WAIT_DISABLE
|
---|
| 152 | #define EVR_RTX_THREAD_FLAGS_WAIT_PENDING_DISABLE
|
---|
| 153 | #define EVR_RTX_THREAD_FLAGS_WAIT_TIMEOUT_DISABLE
|
---|
| 154 | #define EVR_RTX_THREAD_FLAGS_WAIT_COMPLETED_DISABLE
|
---|
| 155 | #define EVR_RTX_THREAD_FLAGS_WAIT_NOT_COMPLETED_DISABLE
|
---|
| 156 | #define EVR_RTX_THREAD_DELAY_DISABLE
|
---|
| 157 | #define EVR_RTX_THREAD_DELAY_UNTIL_DISABLE
|
---|
| 158 | #define EVR_RTX_THREAD_DELAY_COMPLETED_DISABLE
|
---|
| 159 | #define EVR_RTX_TIMER_CALLBACK_DISABLE
|
---|
| 160 | #define EVR_RTX_TIMER_NEW_DISABLE
|
---|
| 161 | #define EVR_RTX_TIMER_CREATED_DISABLE
|
---|
| 162 | #define EVR_RTX_TIMER_GET_NAME_DISABLE
|
---|
| 163 | #define EVR_RTX_TIMER_START_DISABLE
|
---|
| 164 | #define EVR_RTX_TIMER_STARTED_DISABLE
|
---|
| 165 | #define EVR_RTX_TIMER_STOP_DISABLE
|
---|
| 166 | #define EVR_RTX_TIMER_STOPPED_DISABLE
|
---|
| 167 | #define EVR_RTX_TIMER_IS_RUNNING_DISABLE
|
---|
| 168 | #define EVR_RTX_TIMER_DELETE_DISABLE
|
---|
| 169 | #define EVR_RTX_TIMER_DESTROYED_DISABLE
|
---|
| 170 | #define EVR_RTX_EVENT_FLAGS_NEW_DISABLE
|
---|
| 171 | #define EVR_RTX_EVENT_FLAGS_CREATED_DISABLE
|
---|
| 172 | #define EVR_RTX_EVENT_FLAGS_GET_NAME_DISABLE
|
---|
| 173 | #define EVR_RTX_EVENT_FLAGS_SET_DISABLE
|
---|
| 174 | #define EVR_RTX_EVENT_FLAGS_SET_DONE_DISABLE
|
---|
| 175 | #define EVR_RTX_EVENT_FLAGS_CLEAR_DISABLE
|
---|
| 176 | #define EVR_RTX_EVENT_FLAGS_CLEAR_DONE_DISABLE
|
---|
| 177 | #define EVR_RTX_EVENT_FLAGS_GET_DISABLE
|
---|
| 178 | #define EVR_RTX_EVENT_FLAGS_WAIT_DISABLE
|
---|
| 179 | #define EVR_RTX_EVENT_FLAGS_WAIT_PENDING_DISABLE
|
---|
| 180 | #define EVR_RTX_EVENT_FLAGS_WAIT_TIMEOUT_DISABLE
|
---|
| 181 | #define EVR_RTX_EVENT_FLAGS_WAIT_COMPLETED_DISABLE
|
---|
| 182 | #define EVR_RTX_EVENT_FLAGS_WAIT_NOT_COMPLETED_DISABLE
|
---|
| 183 | #define EVR_RTX_EVENT_FLAGS_DELETE_DISABLE
|
---|
| 184 | #define EVR_RTX_EVENT_FLAGS_DESTROYED_DISABLE
|
---|
| 185 | #define EVR_RTX_MUTEX_NEW_DISABLE
|
---|
| 186 | #define EVR_RTX_MUTEX_CREATED_DISABLE
|
---|
| 187 | #define EVR_RTX_MUTEX_GET_NAME_DISABLE
|
---|
| 188 | #define EVR_RTX_MUTEX_ACQUIRE_DISABLE
|
---|
| 189 | #define EVR_RTX_MUTEX_ACQUIRE_PENDING_DISABLE
|
---|
| 190 | #define EVR_RTX_MUTEX_ACQUIRE_TIMEOUT_DISABLE
|
---|
| 191 | #define EVR_RTX_MUTEX_ACQUIRED_DISABLE
|
---|
| 192 | #define EVR_RTX_MUTEX_NOT_ACQUIRED_DISABLE
|
---|
| 193 | #define EVR_RTX_MUTEX_RELEASE_DISABLE
|
---|
| 194 | #define EVR_RTX_MUTEX_RELEASED_DISABLE
|
---|
| 195 | #define EVR_RTX_MUTEX_GET_OWNER_DISABLE
|
---|
| 196 | #define EVR_RTX_MUTEX_DELETE_DISABLE
|
---|
| 197 | #define EVR_RTX_MUTEX_DESTROYED_DISABLE
|
---|
| 198 | #define EVR_RTX_SEMAPHORE_NEW_DISABLE
|
---|
| 199 | #define EVR_RTX_SEMAPHORE_CREATED_DISABLE
|
---|
| 200 | #define EVR_RTX_SEMAPHORE_GET_NAME_DISABLE
|
---|
| 201 | #define EVR_RTX_SEMAPHORE_ACQUIRE_DISABLE
|
---|
| 202 | #define EVR_RTX_SEMAPHORE_ACQUIRE_PENDING_DISABLE
|
---|
| 203 | #define EVR_RTX_SEMAPHORE_ACQUIRE_TIMEOUT_DISABLE
|
---|
| 204 | #define EVR_RTX_SEMAPHORE_ACQUIRED_DISABLE
|
---|
| 205 | #define EVR_RTX_SEMAPHORE_NOT_ACQUIRED_DISABLE
|
---|
| 206 | #define EVR_RTX_SEMAPHORE_RELEASE_DISABLE
|
---|
| 207 | #define EVR_RTX_SEMAPHORE_RELEASED_DISABLE
|
---|
| 208 | #define EVR_RTX_SEMAPHORE_GET_COUNT_DISABLE
|
---|
| 209 | #define EVR_RTX_SEMAPHORE_DELETE_DISABLE
|
---|
| 210 | #define EVR_RTX_SEMAPHORE_DESTROYED_DISABLE
|
---|
| 211 | #define EVR_RTX_MEMORY_POOL_NEW_DISABLE
|
---|
| 212 | #define EVR_RTX_MEMORY_POOL_CREATED_DISABLE
|
---|
| 213 | #define EVR_RTX_MEMORY_POOL_GET_NAME_DISABLE
|
---|
| 214 | #define EVR_RTX_MEMORY_POOL_ALLOC_DISABLE
|
---|
| 215 | #define EVR_RTX_MEMORY_POOL_ALLOC_PENDING_DISABLE
|
---|
| 216 | #define EVR_RTX_MEMORY_POOL_ALLOC_TIMEOUT_DISABLE
|
---|
| 217 | #define EVR_RTX_MEMORY_POOL_ALLOCATED_DISABLE
|
---|
| 218 | #define EVR_RTX_MEMORY_POOL_ALLOC_FAILED_DISABLE
|
---|
| 219 | #define EVR_RTX_MEMORY_POOL_FREE_DISABLE
|
---|
| 220 | #define EVR_RTX_MEMORY_POOL_DEALLOCATED_DISABLE
|
---|
| 221 | #define EVR_RTX_MEMORY_POOL_FREE_FAILED_DISABLE
|
---|
| 222 | #define EVR_RTX_MEMORY_POOL_GET_CAPACITY_DISABLE
|
---|
| 223 | #define EVR_RTX_MEMORY_POOL_GET_BLOCK_SZIE_DISABLE
|
---|
| 224 | #define EVR_RTX_MEMORY_POOL_GET_COUNT_DISABLE
|
---|
| 225 | #define EVR_RTX_MEMORY_POOL_GET_SPACE_DISABLE
|
---|
| 226 | #define EVR_RTX_MEMORY_POOL_DELETE_DISABLE
|
---|
| 227 | #define EVR_RTX_MEMORY_POOL_DESTROYED_DISABLE
|
---|
| 228 | #define EVR_RTX_MESSAGE_QUEUE_NEW_DISABLE
|
---|
| 229 | #define EVR_RTX_MESSAGE_QUEUE_CREATED_DISABLE
|
---|
| 230 | #define EVR_RTX_MESSAGE_QUEUE_GET_NAME_DISABLE
|
---|
| 231 | #define EVR_RTX_MESSAGE_QUEUE_PUT_DISABLE
|
---|
| 232 | #define EVR_RTX_MESSAGE_QUEUE_PUT_PENDING_DISABLE
|
---|
| 233 | #define EVR_RTX_MESSAGE_QUEUE_PUT_TIMEOUT_DISABLE
|
---|
| 234 | #define EVR_RTX_MESSAGE_QUEUE_INSERT_PENDING_DISABLE
|
---|
| 235 | #define EVR_RTX_MESSAGE_QUEUE_INSERTED_DISABLE
|
---|
| 236 | #define EVR_RTX_MESSAGE_QUEUE_NOT_INSERTED_DISABLE
|
---|
| 237 | #define EVR_RTX_MESSAGE_QUEUE_GET_DISABLE
|
---|
| 238 | #define EVR_RTX_MESSAGE_QUEUE_GET_PENDING_DISABLE
|
---|
| 239 | #define EVR_RTX_MESSAGE_QUEUE_GET_TIMEOUT_DISABLE
|
---|
| 240 | #define EVR_RTX_MESSAGE_QUEUE_RETRIEVED_DISABLE
|
---|
| 241 | #define EVR_RTX_MESSAGE_QUEUE_NOT_RETRIEVED_DISABLE
|
---|
| 242 | #define EVR_RTX_MESSAGE_QUEUE_GET_CAPACITY_DISABLE
|
---|
| 243 | #define EVR_RTX_MESSAGE_QUEUE_GET_MSG_SIZE_DISABLE
|
---|
| 244 | #define EVR_RTX_MESSAGE_QUEUE_GET_COUNT_DISABLE
|
---|
| 245 | #define EVR_RTX_MESSAGE_QUEUE_GET_SPACE_DISABLE
|
---|
| 246 | #define EVR_RTX_MESSAGE_QUEUE_RESET_DISABLE
|
---|
| 247 | #define EVR_RTX_MESSAGE_QUEUE_RESET_DONE_DISABLE
|
---|
| 248 | #define EVR_RTX_MESSAGE_QUEUE_DELETE_DISABLE
|
---|
| 249 | #define EVR_RTX_MESSAGE_QUEUE_DESTROYED_DISABLE
|
---|
| 250 |
|
---|
| 251 | #endif /* MBED_RTX_CONF_H */
|
---|