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

entries

0	384	r	0	reserved_memory

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

# RTC_CLK_ALTCENTURY
400	8	r	0	century

412	4	e	6	debug_level
416	1	e	2	me_state
417	3	h	0	me_state_counter
984	16	h	0	check_sum

enumerations

2	0	Enable
2	1	Disable

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

checksums

checksum 408 983 984