| 42,7 → 42,7 |
|---|
| #include <genarch/fb/visuals.h> |
| #include <ddi/irq.h> |
| |
| #include "aux_print/printf.h" |
| #include <arch/debug_print/print.h> |
| #include <print.h> |
| #include <config.h> |
| #include <interrupt.h> |
| 52,7 → 52,7 |
|---|
| |
| void arch_pre_main(void) |
| { |
| aux_printf("arch_pre_main\n"); |
| dprintf("arch_pre_main\n"); |
| int i; |
| |
| init.cnt = bootinfo.cnt; |
| 68,7 → 68,7 |
|---|
| |
| void arch_pre_mm_init(void) |
| { |
| aux_printf("arch_pre_mm_init\n"); |
| dprintf("arch_pre_mm_init\n"); |
| |
| /* It is not assumed by default */ |
| interrupts_disable(); |
| 79,7 → 79,7 |
|---|
| |
| void arch_post_mm_init(void) |
| { |
| aux_printf("arch_post_mm_init start()\n"); |
| dprintf("arch_post_mm_init start()\n"); |
| drivers_init(); |
| interrupt_init(); |
| |
| 87,9 → 87,8 |
|---|
| //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |
| |
| interrupts_enable(); |
| // while(1); |
| aux_printf("machine:\n", MACHINE ); |
| aux_printf("arch_post_mm_init end()\n"); |
| while(1); |
| dprintf("arch_post_mm_init end()\n"); |
| } |
| |
| void arch_post_cpu_init(void) |