1 2 3 4 5 6 7 8 9 10
/* SPDX-License-Identifier: GPL-2.0-only */ /* This file is part of the coreboot project. */ #include <boardid.h> #include <gpio.h> uint32_t board_id(void) { return 0; }