flash0: Memory.MappedMemory @ sysbus 0x0 size: 0x100000 sram0: Memory.MappedMemory @ sysbus 0x20000000 size: 0x40000 // autogenerated gpio1: GPIOPort.NRF52840_GPIO @ sysbus 0x50000300 led1: Miscellaneous.LED @ gpio1 0x7 gpio1: 7 -> led1@0 led2: Miscellaneous.LED @ gpio1 0x6 gpio1: 6 -> led2@0 led3: Miscellaneous.LED @ gpio1 0x5 gpio1: 5 -> led3@0 nvic0: IRQControllers.NVIC @ { sysbus new Bus.BusPointRegistration { address: 0xe000e000; cpu: cpu0 } } -> cpu0@0 systickFrequency: 32768 cpu0: CPU.CortexM @ sysbus cpuType: "cortex-m4f" nvic: nvic0 clock: Miscellaneous.NRF52840_CLOCK @ sysbus 0x40000000 ->nvic0@0 ecb: Miscellaneous.NRF52840_ECB @ sysbus 0x4000e000 ->nvic0@14 gpio0: GPIOPort.NRF52840_GPIO @ sysbus 0x50000000 rng: Miscellaneous.NRF52840_RNG @ sysbus 0x4000d000 ->nvic0@13 rtc0: Timers.NRF52840_RTC @ sysbus 0x4000b000 numberOfEvents: 3 ->nvic0@11 rtc1: Timers.NRF52840_RTC @ sysbus 0x40011000 numberOfEvents: 4 ->nvic0@17 rtc2: Timers.NRF52840_RTC @ sysbus 0x40024000 numberOfEvents: 4 ->nvic0@36 uart0: UART.NRF52840_UART @ sysbus 0x40002000 ->nvic0@2 uart1: UART.NRF52840_UART @ sysbus 0x40028000 easyDMA: true ->nvic0@40 // cortex-m overlay dwt: Miscellaneous.DWT @ sysbus 0xE0001000 frequency: 72000000