Hello,
I just tried the following example and it worked on my side. Could you please help us verify that you are trying to write in a valid memory address?
const uint8_t TEST[4] __attribute__((aligned(0x00004000))) = {'T', 'E', 'S', 'T'};
Regards, Daniel.