| commit | 7e5f0b7bff45c6726d6f3c5457c00159cb720ac5 | [log] [tgz] |
|---|---|---|
| author | Rajavardhan Gundi <rajavardhan.gundi@intel.com> | Tue Jun 19 12:09:59 2018 +0530 |
| committer | Anas Nashif <anas.nashif@intel.com> | Mon Aug 13 13:08:07 2018 -0700 |
| tree | 93dd989675435241236dd42563bda470ef0caded | |
| parent | 2d7619ecf89c3782e31cc0c91bd3eff0e08eaeb4 [diff] |
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>