payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / intel / harcuvar / harcuvar_boardid.h
blob97ece0d8f66193fa483fdcae7a0ce5efbc51faaa
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #ifndef HARCUVAR_MAINBOARD_BOARD_H
4 #define HARCUVAR_MAINBOARD_BOARD_H
6 #include <stdint.h>
8 #define BoardIdHarcuvar 0x52
10 uint32_t board_id(void);
12 #endif /* MAINBOARD_BOARD_H */