I changed the declaration like this:
extern "C" void HardFaultHandler() __attribute__ (( naked, aligned(8) ));
That did the trick. Nice one! Thank you!
I changed the declaration like this:
extern "C" void HardFaultHandler() __attribute__ (( naked, aligned(8) ));
That did the trick. Nice one! Thank you!