1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <console/console.h> 4 #include <nc_fpga.h> 5 #include <types.h> 6 mainboard_post(uint8_t value)7 void mainboard_post(uint8_t value) 8 { 9 nc_fpga_post(value); 10 } 11