diff options
| author | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-28 21:14:37 -0400 |
|---|---|---|
| committer | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-28 21:14:37 -0400 |
| commit | 119b5e6fde37c53a5037a6ba959ba60c882bd6d0 (patch) | |
| tree | a41be842bfc966befb80324cc405414b35cf91d2 /kern/kernel.c | |
| parent | ff90341c64565ac7d8034d2f8cf460532a5b51fd (diff) | |
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) { |