Hi,
I'm trying to flash my network kernel code to the nRF5340-PDK network core over JTAG. It's a custom research OS called Tock that you can look at here. The code is fairly simple and only attempts to turn on an LED, but it does not appear to run properly. The code that I am attempting to flash to the network core can be found here.
I'm flashing the network kernel to address 0x1000000, I have made sure to enable the network core and assign the GPIO pins I'm using to the network core from the application core, and the application core runs fine. Any ideas as to what I should look into next?
Thanks