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