Rev 1184 | Rev 1303 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1184 | Rev 1289 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | 32 | ||
33 | #include <config.h> |
33 | #include <config.h> |
34 | 34 | ||
35 | #include <proc/thread.h> |
35 | #include <proc/thread.h> |
36 | #include <arch/ega.h> |
36 | #include <arch/ega.h> |
- | 37 | #include <arch/vesa.h> |
|
37 | #include <genarch/i8042/i8042.h> |
38 | #include <genarch/i8042/i8042.h> |
38 | #include <arch/i8254.h> |
39 | #include <arch/i8254.h> |
39 | #include <arch/i8259.h> |
40 | #include <arch/i8259.h> |
40 | 41 | ||
41 | #include <arch/bios/bios.h> |
42 | #include <arch/bios/bios.h> |
Line 130... | Line 131... | ||
130 | } |
131 | } |
131 | 132 | ||
132 | void arch_post_mm_init(void) |
133 | void arch_post_mm_init(void) |
133 | { |
134 | { |
134 | if (config.cpu_active == 1) { |
135 | if (config.cpu_active == 1) { |
- | 136 | #ifdef CONFIG_FB |
|
- | 137 | if (vesa_present()) vesa_init(); |
|
- | 138 | else |
|
- | 139 | #endif |
|
135 | ega_init(); /* video */ |
140 | ega_init(); /* video */ |
136 | /* Enable debugger */ |
141 | /* Enable debugger */ |
137 | debugger_init(); |
142 | debugger_init(); |
138 | } |
143 | } |
139 | /* Setup fast SYSCALL/SYSRET */ |
144 | /* Setup fast SYSCALL/SYSRET */ |