| 38,11 → 38,15 |
|---|
| #include <config.h> |
| #include <arch/console.h> |
| #include <ddi/device.h> |
| #include <genarch/fb/fb.h> |
| #include <genarch/fb/visuals.h> |
| #include <ddi/irq.h> |
| |
| #include "aux_print/printf.h" |
| #include <print.h> |
| #include <config.h> |
| #include <interrupt.h> |
| #include <arch/drivers/init.h> |
| |
| bootinfo_t bootinfo; |
| |
| 53,12 → 57,9 |
|---|
| |
| init.cnt = bootinfo.cnt; |
| |
| printf("Used memmory\n"); |
| for (i = 0; i < bootinfo.cnt; ++i) { |
| init.tasks[i].addr = bootinfo.tasks[i].addr; |
| init.tasks[i].size = bootinfo.tasks[i].size; |
| |
| // aux_printf("%L, %d\n", bootinfo.tasks[i].addr, bootinfo.tasks[i].size); |
| } |
| |
| /* TODO this code just setups irq testing bed */ |
| 65,7 → 66,6 |
|---|
| setup_exception_stacks(); |
| } |
| |
| #include <ddi/irq.h> |
| void arch_pre_mm_init(void) |
| { |
| aux_printf("arch_pre_mm_init\n"); |
| 75,20 → 75,21 |
|---|
| |
| /* Initialize dispatch table */ |
| exception_init(); |
| |
| |
| } |
| |
| void arch_post_mm_init(void) |
| { |
| aux_printf("arch_post_mm_init\n"); |
| interrupt_init(); // needs malloc ... so after mm init |
| console_init(device_assign_devno()); // need hash table of irq ... so after irq_init |
| aux_printf("arch_post_mm_init start()\n"); |
| drivers_init(); |
| interrupt_init(); |
| |
| /* TODO */ |
| |
| console_init(device_assign_devno()); |
| //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |
| |
| interrupts_enable(); |
| while(1); |
| // while(1); |
| aux_printf("machine:\n", MACHINE ); |
| aux_printf("arch_post_mm_init end()\n"); |
| } |
| |
| void arch_post_cpu_init(void) |