Rev 958 | Rev 1112 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 958 | Rev 1074 | ||
|---|---|---|---|
| Line 48... | Line 48... | ||
| 48 | 48 | ||
| 49 | #include <arch/bios/bios.h> |
49 | #include <arch/bios/bios.h> |
| 50 | 50 | ||
| 51 | #include <arch/mm/memory_init.h> |
51 | #include <arch/mm/memory_init.h> |
| 52 | #include <interrupt.h> |
52 | #include <interrupt.h> |
| - | 53 | #include <arch/debugger.h> |
|
| 53 | 54 | ||
| 54 | void arch_pre_mm_init(void) |
55 | void arch_pre_mm_init(void) |
| 55 | { |
56 | { |
| 56 | pm_init(); |
57 | pm_init(); |
| 57 | 58 | ||
| Line 71... | Line 72... | ||
| 71 | 72 | ||
| 72 | void arch_post_mm_init(void) |
73 | void arch_post_mm_init(void) |
| 73 | { |
74 | { |
| 74 | if (config.cpu_active == 1) { |
75 | if (config.cpu_active == 1) { |
| 75 | ega_init(); /* video */ |
76 | ega_init(); /* video */ |
| - | 77 | /* Enable debugger */ |
|
| - | 78 | debugger_init(); |
|
| 76 | } |
79 | } |
| 77 | } |
80 | } |
| 78 | 81 | ||
| 79 | void arch_pre_smp_init(void) |
82 | void arch_pre_smp_init(void) |
| 80 | { |
83 | { |