| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 98,7 → 98,7 |
| init.tasks[i].addr = bootinfo.tasks[i].addr; |
| init.tasks[i].size = bootinfo.tasks[i].size; |
| } |
| } |
| void arch_pre_mm_init(void) |
| 248,6 → 248,13 |
| while(1) ; |
| } |
| void cpu_halt(void) |
| { |
| machine_cpu_halt(); |
| } |
| /** @} |
| */ |