volatile uint8_t adc_ready = 0;

__attribute__((__interrupt__))
static void adc_int_handler(void) {
    adc_ready = 1;
//  volatile avr32_adc_t *adc = &AVR32_ADC;
//  update_pwm(*((unsigned long * )(&(adc->cdr0))));
}

int main() {
    init_clock();
    init_intc();
    init_pwm();
    init_tc();
    init_adc();

    volatile avr32_adc_t *adc = &AVR32_ADC;

    while (1) {
        if (adc_ready == 1) {
            adc_ready = 0;
            update_pwm(*((unsigned long * )((&(adc->cdr0)))));
        }
    }

    return 0;
}