verilog/rtl/fwpayload/fwrisc/synth/microsemi/sw/led_flash/src/led_flash.c

#include <stdint.h>

int main(void) {
  volatile uint32_t *led = (volatile uint32_t)0xC0000000;
  uint32_t count = 0;


  while (1) {
    *led = (count >> 16);
    count++;
  }

  return 0;
}