int main (int argc, char *argv[]) { create_ctx(16384, &f_ping, NULL); create_ctx(16384, &f_pong, NULL); create_ctx(16384, &f_pang, NULL); start_schedule(); exit(EXIT_SUCCESS); }
int main(void) { #ifdef CONFIG_INITCALL int ret; initcall_t *initcall; for (initcall = __rnk_initcalls_start; initcall < __rnk_initcalls_end; initcall++) { debug_printk("initcall-> %pS\n", *initcall); ret = (*initcall)(); if (ret < 0) error_printk("initcall %pS failed: %d\n", *initcall, ret); } #endif /* CONFIG_INITCALL */ printk("Welcome to rnk\r\n"); printk("- Initialise scheduler...\r\n"); #ifndef CONFIG_INITCALL schedule_init(); time_init(); #endif /* CONFIG_INITCALL */ #ifdef CONFIG_UNWIND unwind_init(); #endif /* CONFIG_UNWIND */ printk("- Add thread to scheduler\r\n"); add_thread(&loading_thread, 1); printk("- Start scheduling...\r\n"); start_schedule(); while(1) ; return 0; //Never reach }