mbed-os/rtos/TARGET_CORTEX
Kevin Bracey 83b329cb71 RTOS API for bare metal
Provide partial RTOS API for bare metal builds - things that
can be done in a single threaded environment.

Allows more code to work in both RTOS and bare metal builds without
change, and in particular gives easy access to the ability to
efficiently wait for something occurring in interrupt.

Available in bare-metal:
* ThisThread
* osThreadFlagsSet to set flags on main thread (can be set from IRQ)
* EventFlags (can be set from IRQ)
* Semaphores (can be released from IRQ)
* Mutex (dummy implementation)

Not useful:
* ConditionVariable (could only be signalled from 2nd thread)
* RtosTimer (calls in a second thread context)
* Thread

Unimplemented:
* Mail, Queue, MemoryPool

Possible future work:
* ConditionVariableCS to act as IRQ signalled ConditionVariable
2019-07-15 10:13:50 +03:00
..
TOOLCHAIN_ARM_MICRO microlib support: Specify compiler version unable to build without the fix 2019-06-25 15:44:02 +01:00
TOOLCHAIN_ARM_STD ISR_Stack_start/size defines are not needed, use linker file defines 2019-02-19 15:49:49 -06:00
TOOLCHAIN_GCC_ARM Fix GCC _sbrk allocation 2019-02-19 15:49:49 -06:00
TOOLCHAIN_IAR Fix single-threaded apps for IAR v8 builds 2019-03-08 15:33:04 -06:00
rtx4 CMSIS/RTX: Patch RTX4 to preserve osThreadDef compatibility 2019-04-10 14:41:48 +03:00
rtx5 CMSIS/RTX: Pre-processor defines used for assembly 2019-04-10 14:42:56 +03:00
mbed_boot.c wait_us optimization 2019-06-14 10:22:08 +03:00
mbed_boot.h Define heap/stack start and size based on linker script symbols for ARM and GCC_ARM 2019-01-08 15:32:01 +01:00
mbed_lib.json RTOS API for bare metal 2019-07-15 10:13:50 +03:00
mbed_rtos_rtx.c Call psa_spm_init() before staring the NS core 2019-04-29 16:42:33 +03:00
mbed_rtx_conf.h Merge pull request #10781 from LMESTM/Idle_Stack_Size_For_Tickless 2019-06-27 10:21:45 +01:00
mbed_rtx_handlers.c Don't trap RTX errors or mutex errors during errors 2019-04-15 11:29:04 +03:00
mbed_rtx_idle.cpp Timed sleep rework 2019-07-15 10:13:49 +03:00
mbed_rtx_storage.h RTOS API for bare metal 2019-07-15 10:13:50 +03:00