40,7 → 40,8 |
#include <ddi/device.h> |
|
#include "aux_print/printf.h" |
|
#include <print.h> |
#include <config.h> |
bootinfo_t bootinfo; |
|
void arch_pre_main(void) |
50,6 → 51,7 |
|
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; |
58,11 → 60,11 |
|
} |
|
#include <ddi/irq.h> |
void arch_pre_mm_init(void) |
{ |
aux_printf("arch_pre_mm_init\n"); |
|
console_init(device_assign_devno()); |
|
} |
|
69,6 → 71,9 |
void arch_post_mm_init(void) |
{ |
aux_printf("arch_post_mm_init\n"); |
// irq_init(8, 8); /// needs malloc ... so after mm init |
// console_init(device_assign_devno()); // need hash table of irq ... so after irq_init |
|
/* TODO */ |
} |
|