// A renode platform file used by debug config
using "sim/config/platforms/nexus.repl"


// Override the memory size for debug workloads

// RAM_SEC           [‘h1000_0000 - ‘h1001_FFFF)  16M RAM for Security Core (debugging size)
ram_sec:
    size: 0x01000000

ram_smc:
    size: 0x04000000

// eFLASH            [‘h2000_0000 - ‘h20FF_FFFF)  16MB eFlash for Security Core (debugging size)
eflash:
    size: 0x01000000