Here is an interesting OS, an implementation of AutosarOS based on the Nuttx kernel, which seems to follow the OSEK OS standard:
HaloOS: https://gitee.com/haloos NuttX Kernel: https://gitee.com/haloos/vcos_kernel_nuttx AutosarOS(OSEK) based on NuttX Kernel: https://gitee.com/haloos/vcos_components_rt_framework BRs,