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