diff --git a/src/arch/aarch64/Makefile.inc b/src/arch/aarch64/Makefile.inc
index a945c692ad..e2fe2cbeb5 100644
--- a/src/arch/aarch64/Makefile.inc
+++ b/src/arch/aarch64/Makefile.inc
@@ -186,7 +186,7 @@ ramstage-y += cbmem.c
 $(obj)/arch/aarch64/coreboot_table.ramstage.o : $(OPTION_TABLE_H)
 
 romstage-srcs += $(objgenerated)/crt0.s
-#ramstage-srcs += $(wildcard src/mainboard/$(MAINBOARDDIR)/mainboard.c)
+ramstage-srcs += $(wildcard src/mainboard/$(MAINBOARDDIR)/mainboard.c)
 
 ifeq ($(CONFIG_BOARD_HAS_HARD_RESET),y)
 #ramstage-srcs += src/mainboard/$(MAINBOARDDIR)/reset.c
diff --git a/src/mainboard/emulation/foundation-armv8/Kconfig b/src/mainboard/emulation/foundation-armv8/Kconfig
index 45439a5e7b..d1d1eab805 100644
--- a/src/mainboard/emulation/foundation-armv8/Kconfig
+++ b/src/mainboard/emulation/foundation-armv8/Kconfig
@@ -111,10 +111,9 @@ config RAMBASE
 	hex
 	default SYS_SDRAM_BASE
 
-# according to stefan, this is RAMBASE + 1M.
 config RAMTOP
 	hex
-	default 0x80100000
+	default 0x81000000
 
 config STACK_TOP
 	hex
diff --git a/src/mainboard/emulation/foundation-armv8/mainboard.c b/src/mainboard/emulation/foundation-armv8/mainboard.c
index eda93c53e1..f5daa6d98a 100644
--- a/src/mainboard/emulation/foundation-armv8/mainboard.c
+++ b/src/mainboard/emulation/foundation-armv8/mainboard.c
@@ -19,9 +19,13 @@
 static void mainboard_enable(device_t dev)
 {
 	printk(BIOS_INFO, "Enable foundation/armv8 device...\n");
+
+	ram_resource(dev, 0, CONFIG_RAMBASE / KiB,
+	             (CONFIG_RAMTOP - CONFIG_RAMBASE) / KiB);
 }
 
 struct chip_operations mainboard_ops = {
+	CHIP_NAME("Foundation ARMv8 Model")
 	.enable_dev = mainboard_enable,
 };
 
diff --git a/src/mainboard/emulation/foundation-armv8/romstage.c b/src/mainboard/emulation/foundation-armv8/romstage.c
index b52a254f47..41026626f9 100644
--- a/src/mainboard/emulation/foundation-armv8/romstage.c
+++ b/src/mainboard/emulation/foundation-armv8/romstage.c
@@ -25,5 +25,5 @@ void main(void)
 
 	entry = cbfs_load_stage(CBFS_DEFAULT_MEDIA, "fallback/coreboot_ram");
 
-	//stage_exit(entry);
+	stage_exit(entry);
 }