// Copyright (C) 2024 The Qt Company Ltd.
// SPDX-License-Identifier: LicenseRef-Qt-Commercial
#include "board_config.h"
#include "interrupt_queue.h"

extern "C" void nxpConfig(void);

void ConfigureBoard()
{
    nxpConfig();
}

extern "C" void userButtonCallback(void)
{
    HWButtonInput::instance().postEventFromInterrupt(0);
}