# SPDX-License-Identifier: GPL-2.0-only

# -----------------------------------------------------------------
entries

# start-bit	length	config	config-ID	name
0		120	r	0		reserved_memory

# -----------------------------------------------------------------
# RTC_BOOT_BYTE (coreboot hardcoded)
384		  1	e	4		boot_option
388		  4	h	0		reboot_counter

# -----------------------------------------------------------------
# coreboot config options: console
395		  4	e	6		debug_level

# -----------------------------------------------------------------
# coreboot config options: cpu
400		  1	e	1		hyper_threading

# -----------------------------------------------------------------
# coreboot config options: southbridge
410		  2	e	7		power_on_after_fail

# -----------------------------------------------------------------
# EC options
500		  1	e	1		ac_fan_always_on
502		  2	e	7		camera_boot_state
504		  1	e	1		fn_win_swap
505		  1	e	8		tp_toggle_mode

519		  1	e	1		flexicharger_on
520		  8	h	0		flexicharger_start
528		  8	h	0		flexicharger_stop

543		  1	e	1		kbled_booteffect
544		 16	h	0		kbled_timeout

# -----------------------------------------------------------------
# vboot nv area
800		128	r	0		vbnv

# -----------------------------------------------------------------
# coreboot config options: check sums
984		 16	h	0		check_sum

# -----------------------------------------------------------------

enumerations

#ID	value	text
1	0	Disable
1	1	Enable
4	0	Fallback
4	1	Normal
6	0	Emergency
6	1	Alert
6	2	Critical
6	3	Error
6	4	Warning
6	5	Notice
6	6	Info
6	7	Debug
6	8	Spew
7	0	Disable
7	1	Enable
7	2	Keep
8	0	CtrlAltF9
8	1	KeycodeF7F8

# -----------------------------------------------------------------
checksums

checksum 392 799 984