#include "SHAL.h"

int main() {

    SHAL_init();

    PIN(A15).setPinMode(PinMode::ALTERNATE_FUNCTION_MODE);

    PIN(A15).setAlternateFunction(GPIO_Alternate_Function::AF2);

    SHAL_TIM1.configurePWM(SHAL_Timer_Channel::CH4, 1, 800, 10);

    SHAL_TIM1.start();

    while (true) {


        SHAL_delay_ms(2000);
    }
}