mbed-os

Author	SHA1	Message	Date
Bartek Szatkowski	a1736e6341	Boot: Provide dynamic mutexes for ARM toolchain ARM toolchain requires variable number of dynamic mutexes. We use combination of RTX mutex pool and heap allocation to achieve that.	2017-07-21 10:09:53 +01:00
Vincent Coubard	fd7eff202c	RTOS: Allow per target definition of OS_IDLE_THREAD_STACK_SIZE. The stack required for the idle thread is highly dependent on the target because it will call the sleep function which is target specific. While 256 bytes of stack is enough for most targets, others like the NRF52840 might require more. With this change, target maintainers can specify the idle thread stack size in their mbed_rtx.h file.	2017-06-16 10:11:12 +01:00
Russ Butler	fc18250b1f	Increase background stack size to fix overflow Bump the background stack size to 512 bytes to fix stack overflows on the NRF52 and so it is the same size as it was before the switch to RTX5.	2017-06-14 17:31:52 -05:00
Bartosz Szatkowski	39a1b39ce1	Bump number of ARMC mutexes to fix PAL test failure	2017-05-30 18:55:56 +01:00
Yuguo Zou	f03509c6cb	Add up OS_MUTEX_NUM for ARMCC compiler CI shield test (SPI test) may need 7 mutexes	2017-05-30 18:55:56 +01:00
Bartek Szatkowski	05548e786d	Rename directories rtx->rtx4 rtx2->rtx5	2017-05-30 18:55:55 +01:00