Rev 2407 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2407 | Rev 2408 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | #include <userspace.h> |
51 | #include <userspace.h> |
52 | 52 | ||
53 | /** Information about loaded tasks. */ |
53 | /** Information about loaded tasks. */ |
54 | bootinfo_t bootinfo; |
54 | bootinfo_t bootinfo; |
55 | 55 | ||
56 | /** Temporary exception stack pointer. |
- | |
57 | * |
- | |
58 | * Temporary stack is used in exceptions handling routines |
- | |
59 | * before switching to thread's kernel stack. |
- | |
60 | */ |
- | |
61 | extern uintptr_t supervisor_sp; |
- | |
62 | - | ||
63 | 56 | ||
64 | /** Performs arm32 specific initialization before main_bsp() is called. */ |
57 | /** Performs arm32 specific initialization before main_bsp() is called. */ |
65 | void arch_pre_main(void) |
58 | void arch_pre_main(void) |
66 | { |
59 | { |
67 | int i; |
60 | int i; |