flash0_ticcfgpartition: Memory.MappedMemory @ sysbus 0x0 size: 0xb0000 sram1: Memory.MappedMemory @ sysbus 0x11000000 size: 0x2000 sram0: Memory.MappedMemory @ sysbus 0x20000000 size: 0x24000 // autogenerated nvic0: IRQControllers.NVIC @ { sysbus new Bus.BusPointRegistration { address: 0xe000e000; cpu: cpu0 } } -> cpu0@0 systickFrequency: 32768 cpu0: CPU.CortexM @ sysbus cpuType: "cortex-m4" nvic: nvic0 uart0: UART.PL011 @ sysbus 0x40001000 ->nvic0@5 uart1: UART.PL011 @ sysbus 0x4000b000 ->nvic0@36 // cortex-m overlay dwt: Miscellaneous.DWT @ sysbus 0xE0001000 frequency: 72000000