- Reset_vector_addr = Mem_layout::Devices1_map_base + 0xf100,
- Clk_rst_ctrl_clk_cpu_cmplx = Mem_layout::Devices1_map_base + 0x604c,
- Clk_rst_ctrl_rst_cpu_cmplx_clr = Mem_layout::Devices1_map_base + 0x6344,
- Unhalt_addr = Mem_layout::Devices1_map_base + 0x7014,
+ Reset_vector_addr = 0x6000f100,
+ Clk_rst_ctrl_clk_cpu_cmplx = 0x6000604c,
+ Clk_rst_ctrl_rst_cpu_cmplx_clr = 0x60006344,
+ Unhalt_addr = 0x60007014,