#include "mock_board_setup.h"

static uint8_t setup_called = 0;

void bsp_startup(void)
{
    setup_called = 1;
}

uint8_t mock_board_setup_read_called(void)
{
    return setup_called;
}

void mock_board_setup_reset_called(void)
{
    setup_called = 0;
}