Rev 2270 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2270 | Rev 2274 | ||
---|---|---|---|
Line 44... | Line 44... | ||
44 | 44 | ||
45 | #include <arch/debug_print/print.h> |
45 | #include <arch/debug_print/print.h> |
46 | #include <print.h> |
46 | #include <print.h> |
47 | #include <config.h> |
47 | #include <config.h> |
48 | #include <interrupt.h> |
48 | #include <interrupt.h> |
49 | #include <arch/drivers/init.h> |
49 | #include <arch/machine.h> |
50 | 50 | ||
51 | bootinfo_t bootinfo; |
51 | bootinfo_t bootinfo; |
52 | 52 | ||
53 | void arch_pre_main(void) |
53 | void arch_pre_main(void) |
54 | { |
54 | { |
Line 80... | Line 80... | ||
80 | dprintf("arch_post_mm_init start()\n"); |
80 | dprintf("arch_post_mm_init start()\n"); |
81 | /* Initialize dispatch table |
81 | /* Initialize dispatch table |
82 | Note: Have to be after page_init() */ |
82 | Note: Have to be after page_init() */ |
83 | exception_init(); |
83 | exception_init(); |
84 | 84 | ||
85 | drivers_init(); |
85 | machine_hw_map_init(); |
86 | interrupt_init(); |
86 | interrupt_init(); |
87 | 87 | ||
88 | console_init(device_assign_devno()); |
88 | console_init(device_assign_devno()); |
89 | //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |
89 | //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |
90 | 90 | ||
91 | interrupts_enable(); |
91 | interrupts_enable(); |
92 | while(1); |
92 | // while(1); |
93 | dprintf("arch_post_mm_init end()\n"); |
93 | dprintf("arch_post_mm_init end()\n"); |
94 | } |
94 | } |
95 | 95 | ||
96 | void arch_post_cpu_init(void) |
96 | void arch_post_cpu_init(void) |
97 | { |
97 | { |