pub const DRAM_BASE: u64 = 0x8000_0000;
First DRAM byte. Matches Firecracker’s DRAM_MEM_START.
DRAM_MEM_START