Kernel APIs

This section contains APIs for the kernel’s core services, as described in the Kernel Services.

Important

Unless otherwise noted these APIs can be used by threads, but not by ISRs.

Kernel Version

Kernel version handling and APIs related to kernel version being used.

u32_t sys_kernel_version_get(void)

Return the kernel version of the present build.

The kernel version is a four-byte value, whose format is described in the file “kernel_version.h”.

Return
kernel version

SYS_KERNEL_VER_MAJOR(ver)
SYS_KERNEL_VER_MINOR(ver)
SYS_KERNEL_VER_PATCHLEVEL(ver)