Hi Jerry,
It is entirely possible to work without FireMarshal for simple bare-metal flows.
as a basis for developing a bare metal flow with change-address changed to 0x80000000.
You will also need to use a different linker script. I honestly recommend learning to write a simple one.
Linker scripts can get very fancy. All that's necessary is linking your text, rodata, stack, bss, and heap (if you need one).
There should also be ones ready to use within Chipyard.
Regards,
Michael Etzkorn