| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 37,15 → 37,10 |
| #include <arch/boot.h> |
| #include <config.h> |
| #include "aux_print/printf.h" |
| bootinfo_t bootinfo; |
| static void aux_write(char * str) { |
| while (*str) { |
| *((char *)0x10000000) = *str; |
| ++str; |
| } |
| } |
| void arch_pre_main(void) |
| { |
| int i; |
| 55,7 → 50,7 |
| for (i = 0; i < bootinfo.cnt; ++i) { |
| init.tasks[i].addr = bootinfo.tasks[i].addr; |
| init.tasks[i].size = bootinfo.tasks[i].size; |
| aux_write("X\n"); |
| // aux_printf("%L, %d\n", bootinfo.tasks[i].addr, bootinfo.tasks[i].size); |
| } |
| } |