| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 53,14 → 53,7 |
| /** Information about loaded tasks. */ |
| bootinfo_t bootinfo; |
| /** Temporary exception stack pointer. |
| * |
| * Temporary stack is used in exceptions handling routines |
| * before switching to thread's kernel stack. |
| */ |
| extern uintptr_t supervisor_sp; |
| /** Performs arm32 specific initialization before main_bsp() is called. */ |
| void arch_pre_main(void) |
| { |