42,6 → 42,9 |
|
DEFS += -D__32_BITS__ -DMACHINE=$(MACHINE) -DKERNEL_LOAD_ADDRESS=$(KERNEL_LOAD_ADDRESS) |
|
CONFIG_MSIM_GXEMUL = y |
DEFS += -DCONFIG_MSIM_GXEMUL |
|
## Compile with hierarchical page tables support. |
# |
|
61,6 → 64,7 |
|
ARCH_SOURCES = \ |
arch/$(ARCH)/src/start.S \ |
arch/$(ARCH)/src/asm.S \ |
arch/$(ARCH)/src/arm32.c \ |
arch/$(ARCH)/src/context.S \ |
arch/$(ARCH)/src/dummy.S \ |
72,5 → 76,7 |
arch/$(ARCH)/src/interrupt.c \ |
arch/$(ARCH)/src/mm/tlb.c \ |
arch/$(ARCH)/src/aux_print/printf.c \ |
arch/$(ARCH)/src/aux_print/io.c |
arch/$(ARCH)/src/aux_print/io.c \ |
arch/$(ARCH)/src/console.c \ |
arch/$(ARCH)/src/drivers/msim_gxemul.c |
|