TBS: layout

Signed-off-by: Babis Chalios <[email protected]>

Author: bchalios

src/vmm/src/arch/aarch64/layout.rs

@@ -91,7 +91,9 @@ pub const MMIO32_MEM_SIZE: u64 = DRAM_MEM_START - MMIO32_MEM_START;
 // We reserve 768 MiB for devices at the beginning of the MMIO region. This includes space both for
 // pure MMIO and PCIe devices.
 /// Beginning of memory region for device MMIO 32-bit accesses
-pub const MEM_32BIT_DEVICES_START: u64 = MMIO32_MEM_START;
+/// The first 2 pages of 32-bit MMIO memory are reserved for RTC and serial devices
+/// which are MMIO devices in ARM64.
+pub const MEM_32BIT_DEVICES_START: u64 = MMIO32_MEM_START + 2 * 4096;
 /// Size of memory region for device MMIO 32-bit accesses
 pub const MEM_32BIT_DEVICES_SIZE: u64 = 768 << 20;