/* SPDX-License-Identifier: GPL-2.0-only */

#include <console/console.h>
#include <nc_fpga.h>
#include <types.h>

void mainboard_post(uint8_t value)
{
	nc_fpga_post(value);
}