#include "board.h"
#include "clock_config.h"
#include "pin_mux.h"
int main(void) {
BOARD_InitBootPins();
BOARD_InitBootClocks();
BOARD_InitDebugConsole();
for (;;) {
}