| 49,8 → 49,10 |
|---|
| #include <arch/regutils.h> |
| #include <arch/drivers/gxemul.h> |
| #include <userspace.h> |
| |
| bootinfo_t bootinfo; |
| uintptr_t supervisor_sp /*__attribute__ ((section (".text")))*/; |
| // // uintptr_t supervisor_sp /*__attribute__ ((section (".text")))*/; |
| extern uintptr_t supervisor_sp; |
| |
| //TODO: Remove include and move into exceptio.c |
| #include <arch/exception.h> |
| 107,8 → 109,6 |
|---|
| interrupts_disable(); |
| |
| setup_exception_stacks(); |
| |
| |
| } |
| |
| void prefetch_exception_generator(void); |
| 129,8 → 129,7 |
|---|
| |
| interrupts_enable(); |
| dprintf("arch_post_mm_init end()\n"); |
| // while(1); |
| |
| |
| } |
| |
| void arch_post_cpu_init(void) |