- The OS can be selected by setting the variable RTOS to either RTX or
FREERTOS.
- A new library has been added to expose FreeRTOS memory allocation
functions on CMSIS RTOS.

Signed-off-by: Vincent Coubard <vincent.coubard@arm.com>