diff options
Diffstat (limited to 'kern/kernel.c')
| -rw-r--r-- | kern/kernel.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/kernel.c b/kern/kernel.c index bd675a5..6168224 100644 --- a/kern/kernel.c +++ b/kern/kernel.c @@ -33,8 +33,6 @@ #include <timer.h> #include <toad.h> -void print_toad(); - /** * @brief entry for a cpu core * @param cpuid cpuid @@ -73,6 +71,7 @@ int kernel_main(mbinfo_t* mbinfo, int argc, char** argv, char** envp) { const char* init_args[] = {INIT_NAME}; thread_t* init = create_process(INIT_PID, INIT_NAME, 1, init_args); + assert(init != NULL); init_process = init->process; add_thread(init); insert_ready_tail(init); @@ -103,6 +102,7 @@ static void kernel_smp_entry(int cpuid) { static void kernel_smp_main() { const char* idle_args[] = {IDLE_NAME}; thread_t* idle = create_process(IDLE_PID, IDLE_NAME, 1, idle_args); + assert(idle != NULL); set_idle(idle); while (1) { |