2326 |
6254 d 8 h |
kebrt |
/branches/arm/kernel/arch/arm32/ |
debug_print renamed to debug |
|
/branches/arm/kernel/arch/arm32/include/debug_print/print.h /branches/arm/kernel/arch/arm32/src/arm32.c /branches/arm/kernel/arch/arm32/src/debug_print/print.c /branches/arm/kernel/arch/arm32/src/drivers/gxemul.c /branches/arm/kernel/arch/arm32/src/exception.c /branches/arm/kernel/arch/arm32/src/mm/page.c /branches/arm/kernel/arch/arm32/src/mm/page_fault.c
|
2290 |
6268 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
|