diff --git a/repos/base/include/drivers/defs/zynq.h b/repos/base/include/drivers/defs/zynq.h
index 4bf4099bd..c6e4565e8 100644
--- a/repos/base/include/drivers/defs/zynq.h
+++ b/repos/base/include/drivers/defs/zynq.h
@@ -30,7 +30,6 @@ namespace Zynq {
 
 		/* normal RAM */
 		RAM_0_BASE = 0x00000000,
-		RAM_0_SIZE = 0x40000000, /* 1GiB */
 
 		/* AXI */
 		AXI_0_MMIO_BASE = 0x40000000, /* PL AXI Slave port #0 */
diff --git a/repos/base/include/drivers/defs/zynq_qemu.h b/repos/base/include/drivers/defs/zynq_qemu.h
index 04eeafda7..abe2ab848 100644
--- a/repos/base/include/drivers/defs/zynq_qemu.h
+++ b/repos/base/include/drivers/defs/zynq_qemu.h
@@ -21,6 +21,8 @@ namespace Zynq_qemu {
 	using namespace Zynq;
 
 	enum {
+		RAM_0_SIZE = 0x40000000, /* 1GiB */
+
 		CORTEX_A9_PRIVATE_TIMER_CLK = 100000000,
 		CORTEX_A9_PRIVATE_TIMER_DIV = 100,
 	};