#include "pico/stdlib.h"
#include "hardware/pwm.h"
#include "hardware/pll.h"
#include "hardware/clocks.h"
#include "hardware/structs/pll.h"
#include "hardware/structs/clocks.h"

#include "ctrl.h"

int main() {
  ctrl_init();
  
  ctrl_select_design(42);

  while (1) {
    sleep_ms(1000);
  }
}