void philDemo(void) { PRINTF(DEMO_DESCRIPTION, "tasks", "microkernel"); task_group_start(PHI); /* wait forever */ while (1) { task_sleep(10000); } }
/** * @brief Microkernel task. * * @details Start the kernel event data colector fiber. Then * do wait forever. * * @return No return value. */ void k_event_logger_demo(void) { kernel_event_logger_fiber_start(); task_group_start(PHI); }