#include "regs.hpp"

extern "C" void main() {
    UartPuts("[bpmpfw]: Hello from BPMP-FW\n");

    for (;;);
}