IncludeOS is modeled much like FreeRTOS or Zephyr. The difference is mainly that it addresses CPUs and not microcontrollers as the primary platform. With paging, you have better security, typically.
And a minimal hello world at: https://unix.stackexchange.com/questions/122717/how-to-creat...