#include "at32f403_board.h"
#include "at32f403_clock.h"
int main(void) {
system_clock_config();
at32_board_init();
for (;;) {
/* -- */
__WFI();
}