#define PMC_SCRATCH0 0x7000e450

void _start() {
  *(volatile unsigned int *)(PMC_SCRATCH0) = 0xDEADBEEF;

  while (1) {
    for (volatile int i = 0; i < 1000; i++)
      ;
  }
}