Initialize the RTOS Kernel.
| 512 | |
| 513 | /// Initialize the RTOS Kernel. |
| 514 | osStatus_t osKernelInitialize (void) { |
| 515 | osStatus_t status; |
| 516 | |
| 517 | osRtxKernelPreInit(); |
| 518 | EvrRtxKernelInitialize(); |
| 519 | if (IsIrqMode() || IsIrqMasked()) { |
| 520 | EvrRtxKernelError((int32_t)osErrorISR); |
| 521 | status = osErrorISR; |
| 522 | } else { |
| 523 | status = __svcKernelInitialize(); |
| 524 | } |
| 525 | return status; |
| 526 | } |
| 527 | |
| 528 | /// Get RTOS Kernel Information. |
| 529 | osStatus_t osKernelGetInfo (osVersion_t *version, char *id_buf, uint32_t id_size) { |
no test coverage detected