#include <stdio.h>

#include "board.h"
#include "hpm_debug_console.h"

int main(void) {
    board_init();

    printf("Hello HPM!\n");

    board_led_set(0, true);

    for (;;) {
        WFI();
    }

    return 0;
}