file bootloader.elf
tar rem:3333
foc c
add-symbol-file ../nonsecure-world/image.elf
