// RP2040 — Cortex-M0+, minimal stubs for Embassy firmware boot.
//
// Memory map (from RP2040 datasheet):
// 0x10000000 Flash (XIP) 2 MB
// 0x20000000 SRAM 264 KB
// 0x40010000 PSM 4 KB (+ 3 atomic alias pages)
// 0x40034000 UART0 (PL011) 4 KB
// 0xD0000000 SIO 4 KB
flash: Memory.MappedMemory @ sysbus 0x10000000
size: 0x200000
sram: Memory.MappedMemory @ sysbus 0x20000000
size: 0x42000
psm: Memory.MappedMemory @ sysbus 0x40010000
size: 0x4000
sio: Memory.MappedMemory @ sysbus 0xD0000000
size: 0x1000
nvic: IRQControllers.NVIC @ sysbus 0xe000e000
systickFrequency: 125000000
-> cpu@0
cpu: CPU.CortexM @ sysbus
cpuType: "cortex-m0+"
nvic: nvic
// UART0 (PL011), the usual console. IRQ 20 = UART0_IRQ.
uart0: UART.PL011 @ sysbus 0x40034000
-> nvic@20