I'm having a problem programming the management controller on my GFMPW-1 chips. Its hard to describe, but variables are not working properly. Like, assignments to variables keep being dropped or delayed. This just caused me days of headache trying to bring up one of my designs until I found this. If

variable

is a regular uint32_t, this code:

variable = 0x00085003;
printf("%x\r\n", variable);
printf("%x\r\n", variable);

Results in an output of

00000000
00085003

Where the first print can actually be any nonsense while the second is the value I assigned, which makes no sense. The compiler is on

-O0

, and the disassembled binary looks sane. Is the linker script messed up or something? This is preventing me from doing pretty much anything with caravel, because I can't use variables.