| 41,9 → 41,11 |
|---|
| |
| KERNEL_LOAD_ADDRESS = 0x80200000 |
| |
| # ifeq ($(MACHINE), gxemul_testarm) |
| ifeq ($(MACHINE), gxemul_testarm) |
| DMACHINE = MACHINE_GXEMUL_TESTARM |
| # endif |
| else ifeq ($(MACHINE), qemu_icp) |
| DMACHINE = MACHINE_QEMU_ICP |
| endif |
| |
| ATSIGN = % |
| |
| 94,7 → 96,9 |
|---|
| arch/$(ARCH)/src/mm/tlb.c \ |
| arch/$(ARCH)/src/mm/page_fault.c |
| |
| # ifeq ($(MACHINE), gxemul_testarm) |
| ifeq ($(MACHINE), gxemul_testarm) |
| ARCH_SOURCES += arch/$(ARCH)/src/drivers/gxemul.c |
| # endif |
| else ifeq ($(MACHINE), qemu_icp) |
| ARCH_SOURCES += arch/$(ARCH)/src/drivers/qemu.c |
| endif |
| |