diff options
Diffstat (limited to 'common/main.c')
| -rw-r--r-- | common/main.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/common/main.c b/common/main.c index 30d9ed5..7291387 100644 --- a/common/main.c +++ b/common/main.c @@ -15,6 +15,7 @@ #include <kmi/irq.h> #include <arch/arch.h> #include <arch/proc.h> +#include <arch/smp.h> #include <libfdt.h> /** @@ -51,9 +52,9 @@ void __main main(void *fdt, uintptr_t ram_base) init_irq(fdt); init_timer(fdt); init_proc(fdt); - /* free temporary virtual memory now that we're in the init process - * space */ - destroy_vmem(b); + + /* try to bring up other cores on system */ + smp_bringup(b, fdt); /* start running init program */ run_init(cur_tcb(), fdt); |