# SPDX-License-Identifier: GPL-2.0

config EFI_RUNTIME_GET_TIME
	bool

config EFI_RUNTIME_SET_TIME
	bool

config EFI_RUNTIME_GET_WAKEUP_TIME
	bool

config EFI_RUNTIME_SET_WAKEUP_TIME
	bool

config EFI_RUNTIME_GET_VARIABLE
	bool

config EFI_RUNTIME_GET_NEXT_VARIABLE_NAME
	bool

config EFI_RUNTIME_SET_VARIABLE
	bool

config EFI_RUNTIME_SET_VIRTUAL_ADDRESS_MAP
	bool

config EFI_RUNTIME_CONVERT_POINTER
	bool

config EFI_RUNTIME_GET_NEXT_HIGH_MONOTONIC_COUNT
	bool

config EFI_RUNTIME_RESET_SYSTEM
	def_bool y

config EFI_RUNTIME_UPDATE_CAPSULE
	bool

config EFI_RUNTIME_QUERY_CAPSULE_CAPABILITIES
	bool

config EFI_RUNTIME_QUERY_VARIABLE_INFO
	bool

