2 ## This file is part of the coreboot project.
5 ## SPDX-License-Identifier: GPL-2.0-only
7 # -----------------------------------------------------------------
10 #start-bit length config config-ID name
11 0 120 r 0 reserved_memory
13 # -----------------------------------------------------------------
14 # RTC_BOOT_BYTE (coreboot hardcoded)
16 388 4 h 0 reboot_counter
18 # -----------------------------------------------------------------
19 # coreboot config options: console
22 # -----------------------------------------------------------------
23 # coreboot config options: cpu
24 400 1 e 2 hyper_threading
26 # -----------------------------------------------------------------
27 # coreboot config options: southbridge
28 409 2 e 7 power_on_after_fail
30 # -----------------------------------------------------------------
31 # coreboot config options: bootloader
34 # -----------------------------------------------------------------
35 # coreboot config options: check sums
38 # -----------------------------------------------------------------
61 # -----------------------------------------------------------------