I run a baremetal Xilinx-based ARM A57 system.
I want to bring the addresses of two linker-defined symbols to my c program...
This is the linker script:
