So, I’m experimenting with getting the Ada Ravenscar runtime going on a Particle device (the Argon).
The SoC in the Argon (nRF52840) happens to have the barebones of interface support already in the ada barebones project. From that I was able to put together a simple GPIO driver and get the binary built with the Ravenscar runtime.
Since Ravenscar can run on bare metal, the runtime I’m using includes its own initialization code and thus (I believe) the Particle boot loader isn’t needed.
My question: going from the memory layout I’m not totally certain what address I should be flashing to – I’m using the Particle debugger connector. From the hardware description files (https://github.com/AdaCore/bb-runtimes/blob/community-2019/arm/nordic/nrf52/memory-map_nRF52840.ld) it looks like I should be flashing to 0x00, but that seems to contradict what is in the data sheet.
I think the basis of my question is: if I want to do bare metal programming on the Argon, what is the correct address to flash to?