pub const SRAM_BASE: u64 = 0x0002_0000;
Scratch RAM in block RAM: the boot ROM’s stack and data before the DDR2 is calibrated. It never holds code.