/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); |
} |
} |