Rev 894 | Rev 1121 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 894 | Rev 1072 | ||
---|---|---|---|
Line 44... | Line 44... | ||
44 | #include <arch/cpuid.h> |
44 | #include <arch/cpuid.h> |
45 | #include <genarch/acpi/acpi.h> |
45 | #include <genarch/acpi/acpi.h> |
46 | #include <panic.h> |
46 | #include <panic.h> |
47 | #include <interrupt.h> |
47 | #include <interrupt.h> |
48 | #include <arch/syscall.h> |
48 | #include <arch/syscall.h> |
- | 49 | #include <arch/debugger.h> |
|
49 | 50 | ||
50 | /** Disable I/O on non-privileged levels |
51 | /** Disable I/O on non-privileged levels |
51 | * |
52 | * |
52 | * Clean IOPL(12,13) and NT(14) flags in EFLAGS register |
53 | * Clean IOPL(12,13) and NT(14) flags in EFLAGS register |
53 | */ |
54 | */ |
Line 127... | Line 128... | ||
127 | 128 | ||
128 | void arch_post_mm_init(void) |
129 | void arch_post_mm_init(void) |
129 | { |
130 | { |
130 | if (config.cpu_active == 1) { |
131 | if (config.cpu_active == 1) { |
131 | ega_init(); /* video */ |
132 | ega_init(); /* video */ |
- | 133 | /* Enable debugger */ |
|
- | 134 | debugger_init(); |
|
132 | } |
135 | } |
133 | /* Setup fast SYSCALL/SYSRET */ |
136 | /* Setup fast SYSCALL/SYSRET */ |
134 | syscall_setup_cpu(); |
137 | syscall_setup_cpu(); |
135 | 138 | ||
136 | } |
139 | } |