#include "at32f403_board.h"
#include "at32f403_clock.h"

int main(void) {
    system_clock_config();
    at32_board_init();

    for (;;) {
        /* -- */
        __WFI();
    }
}