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) |