Rev 1936 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1936 | Rev 1993 | ||
|---|---|---|---|
| Line 51... | Line 51... | ||
| 51 | #include <arch/interrupt.h> |
51 | #include <arch/interrupt.h> |
| 52 | #include <arch/drivers/arc.h> |
52 | #include <arch/drivers/arc.h> |
| 53 | #include <console/chardev.h> |
53 | #include <console/chardev.h> |
| 54 | #include <arch/debugger.h> |
54 | #include <arch/debugger.h> |
| 55 | #include <genarch/fb/fb.h> |
55 | #include <genarch/fb/fb.h> |
| - | 56 | #include <genarch/fb/visuals.h> |
|
| 56 | #include <macros.h> |
57 | #include <macros.h> |
| 57 | #include <ddi/device.h> |
58 | #include <ddi/device.h> |
| 58 | 59 | ||
| 59 | #include <arch/asm/regname.h> |
60 | #include <arch/asm/regname.h> |
| 60 | 61 | ||
| Line 120... | Line 121... | ||
| 120 | void arch_post_mm_init(void) |
121 | void arch_post_mm_init(void) |
| 121 | { |
122 | { |
| 122 | interrupt_init(); |
123 | interrupt_init(); |
| 123 | console_init(device_assign_devno()); |
124 | console_init(device_assign_devno()); |
| 124 | #ifdef CONFIG_FB |
125 | #ifdef CONFIG_FB |
| 125 | fb_init(0x12000000, 640, 480, 24, 1920, false); // gxemul framebuffer |
126 | fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); // gxemul framebuffer |
| 126 | #endif |
127 | #endif |
| 127 | sysinfo_set_item_val("machine." STRING(MACHINE), NULL, 1); |
128 | sysinfo_set_item_val("machine." STRING(MACHINE), NULL, 1); |
| 128 | } |
129 | } |
| 129 | 130 | ||
| 130 | void arch_post_cpu_init(void) |
131 | void arch_post_cpu_init(void) |