0b8792c05c
lib/cmsis_rtos_v1: Check if osKernelStart() is called from ISR
...
Check if osKernelStart() is called from ISR and return error code
appropriately.
Signed-off-by: Spoorthi K <spoorthi.k@intel.com>
2018-08-28 19:19:06 -04:00
76fc443b1e
lib/cmsis_rtos_v1: Implement support for kernel APIs
...
These APIs allow for checking whether the kernel is initialized,
started or running.
Signed-off-by: Rajavardhan Gundi <rajavardhan.gundi@intel.com>
2018-08-13 13:08:07 -07:00
7e5f0b7bff
lib/cmsis_rtos_v1: Implement support for osKernelSysTick
...
This API is used to fetch the kernel system timer as 32-bit value.
This is analogous to k_cycle_get_32 in the kernel.
Signed-off-by: Rajavardhan Gundi <rajavardhan.gundi@intel.com>
2018-08-13 13:08:07 -07:00
Spoorthi K