| /branches/arm/kernel/arch/arm32/Makefile.inc |
|---|
| 85,7 → 85,8 |
| arch/$(ARCH)/src/debug_print/io.c \ |
| arch/$(ARCH)/src/console.c \ |
| arch/$(ARCH)/src/exception.c \ |
| arch/$(ARCH)/src/mm/memory_init.c |
| arch/$(ARCH)/src/mm/memory_init.c \ |
| arch/$(ARCH)/src/mm/page_fault.c |
| ifeq ($(MACHINE), gxemul_testarm) |
| ARCH_SOURCES += arch/$(ARCH)/src/drivers/gxemul.c |