//uint32_t *gpioOUT = (uint32_t *)(0xD0000010);
uint32_t *gpioOUT_SET = (uint32_t *)(0xD0000014);
uint32_t *gpioOUT_CLR = (uint32_t *)(0xD0000018);
//uint32_t *gpioOUT_XOR = (uint32_t *)(0xD000001C);
//Set Table for LEDs
uint32_t ledTable[4] = { 0b0001,0b0010,0b0100,0b1000};
void setup() {
  Serial1.begin(1152000);

  for(int i = 0; i < 4; i++){
  pinMode(i, OUTPUT);
}
}
void loop() {
  for(int a = 3;a >= 0; a--){
  *gpioOUT_SET = ledTable[a]; //LED ON
  delay(1000);
  *gpioOUT_CLR = ledTable[a]; //LED OFF
  }
}