2290 |
6261 d 10 h |
kebrt |
/branches/arm/kernel/arch/arm32/ |
debug_printf() now uses generic printf_core(), debug_printf() uses address from hw_map_init() after it is called |
|
/branches/arm/kernel/arch/arm32/src/debug_print/print.c
/branches/arm/kernel/arch/arm32/src/debug_print/io.c /branches/arm/kernel/arch/arm32/src/debug_print/printf.c
/branches/arm/kernel/arch/arm32/Makefile.inc /branches/arm/kernel/arch/arm32/include/debug_print/print.h /branches/arm/kernel/arch/arm32/include/machine.h /branches/arm/kernel/arch/arm32/src/arm32.c /branches/arm/kernel/arch/arm32/src/drivers/gxemul.c /branches/arm/kernel/arch/arm32/src/mm/page.c
|
2274 |
6267 d 17 h |
kebrt |
/branches/arm/kernel/arch/arm32/ |
machine_... functions from gxemul.c used instead of switching like #if MACHINE == GXEMUL_MACHINE_TESTARM |
|
/branches/arm/kernel/arch/arm32/include/machine.h
/branches/arm/kernel/arch/arm32/include/drivers/init.h /branches/arm/kernel/arch/arm32/src/drivers/init.c
/branches/arm/kernel/arch/arm32/Makefile.inc /branches/arm/kernel/arch/arm32/src/arm32.c /branches/arm/kernel/arch/arm32/src/console.c /branches/arm/kernel/arch/arm32/src/drivers/gxemul.c /branches/arm/kernel/arch/arm32/src/exception.c /branches/arm/kernel/arch/arm32/src/interrupt.c /branches/arm/kernel/arch/arm32/src/mm/memory_init.c
|