Rev 4029 | Rev 4109 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4029 | Rev 4046 | ||
|---|---|---|---|
| Line 54... | Line 54... | ||
| 54 | #include <genarch/fb/visuals.h> |
54 | #include <genarch/fb/visuals.h> |
| 55 | #include <macros.h> |
55 | #include <macros.h> |
| 56 | #include <ddi/device.h> |
56 | #include <ddi/device.h> |
| 57 | #include <config.h> |
57 | #include <config.h> |
| 58 | #include <string.h> |
58 | #include <string.h> |
| - | 59 | #include <arch/drivers/msim.h> |
|
| 59 | 60 | ||
| 60 | #include <arch/asm/regname.h> |
61 | #include <arch/asm/regname.h> |
| 61 | 62 | ||
| 62 | /* Size of the code jumping to the exception handler code |
63 | /* Size of the code jumping to the exception handler code |
| 63 | * - J+NOP |
64 | * - J+NOP |
| 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 | interrupt_init(); |
135 | interrupt_init(); |
| 135 | console_init(device_assign_devno()); |
136 | msim_console(device_assign_devno()); |
| 136 | #ifdef CONFIG_FB |
137 | #ifdef CONFIG_FB |
| 137 | /* GXemul framebuffer */ |
138 | /* GXemul framebuffer */ |
| 138 | fb_properties_t gxemul_prop = { |
139 | fb_properties_t gxemul_prop = { |
| 139 | .addr = 0x12000000, |
140 | .addr = 0x12000000, |
| 140 | .offset = 0, |
141 | .offset = 0, |