#include <libopencm3/stm32/rcc.h>

#include "usb.h"

int main(void) {
  rcc_clock_setup_pll(&rcc_hse_12mhz_3v3[RCC_CLOCK_3V3_168MHZ]);

  usb_setup();

  while (1) {
    __asm__("wfi");
  }
}