mirror of
https://github.com/linuxboot/heads.git
synced 2025-01-31 00:24:17 +00:00
e5b64f8c48
(Otherwise, renaming board requires to rename coreboot config file as well since BOARD is used to pick corresponding one when undefined)