#include <stdint.h>
#include <strings.h>

#include "rom.h"
#include "rtl8710bx.h"
#include "startup.h"

__attribute__((interrupt)) void SysTick_Handler(void) {
  GPIOA->DR ^= (1 << 23);
}

int main(void) {
  printf("[main]\n");
  printf("VTOR: 0x%08x\n", SCB->VTOR);
  printf("SystemCoreClock: %d Hz\n", SystemCoreClock);

  SysTick_Config(100);  // tick every 100 cycles

  PERI_ON->SOC_PERI_FUNC1_EN |= BIT_PERI_GPIO_EN;
  PERI_ON->PESOC_CLK_CTRL |= APBPeriph_GPIO_CLOCK;
  PINMUX_Config(_PA_0, PINMUX_FN_GPIO);
  PINMUX_Config(_PA_23, PINMUX_FN_GPIO);
  PINMUX_ConfigPadPull(_PA_0, GPIO_PuPd_DOWN);
  PINMUX_ConfigPadPull(_PA_23, GPIO_PuPd_NOPULL);
  GPIOA->DDR |= (1 << 0) | (1 << 23);
  // GPIOA->DDR |= (1 << 23);

  while (1) {
  }
}