2198 |
6388 d 14 h |
jancik |
/branches/arm/ |
Alf: Start kernel at 0x8010 0000 with paging enabled |
|
/branches/arm/boot/arch/arm32/loader/mm.c /branches/arm/boot/arch/arm32/loader/mm.h
/branches/arm/boot/arch/arm32/loader/Makefile /branches/arm/boot/arch/arm32/loader/asm.h /branches/arm/boot/arch/arm32/loader/boot.S /branches/arm/boot/arch/arm32/loader/main.c /branches/arm/boot/arch/arm32/loader/pack /branches/arm/kernel/arch/arm32/Makefile.inc
|
2145 |
6397 d 13 h |
kebrt |
/branches/arm/boot/arch/arm32/ |
first version of arm boot loader, still cannot jump to kernel |
|
/branches/arm/boot/arch/arm32/loader /branches/arm/boot/arch/arm32/loader/Makefile /branches/arm/boot/arch/arm32/loader/asm.S /branches/arm/boot/arch/arm32/loader/asm.h /branches/arm/boot/arch/arm32/loader/boot.S /branches/arm/boot/arch/arm32/loader/io.c /branches/arm/boot/arch/arm32/loader/main.c /branches/arm/boot/arch/arm32/loader/main.h /branches/arm/boot/arch/arm32/loader/pack /branches/arm/boot/arch/arm32/loader/types.h
/branches/arm/boot/arch/arm32/Makefile.inc
|