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