from rtos.c:18
static const struct rtos_type *rtos_types[] = {
&threadx_rtos,
&freertos_rtos,
&ecos_rtos,
&linux_rtos,
&chibios_rtos,
&chromium_ec_rtos,
&embkernel_rtos,
&mqx_rtos,
&ucos_iii_rtos,
&nuttx_rtos,
&riot_rtos,
&zephyr_rtos,
&rtkernel_rtos,
&hwthread_rtos,
NULL
};