#
# Automatically generated file; DO NOT EDIT.
-# Linux/riscv 5.17.6-gnu Kernel Configuration
+# Linux/riscv 5.17.14-gnu Kernel Configuration
#
CONFIG_CC_VERSION_TEXT="riscv64-linux-gcc (GCC) 11.3.0"
CONFIG_CC_IS_GCC=y
# end of EFI (Extensible Firmware Interface) Support
CONFIG_EFI_EARLYCON=y
+# CONFIG_EFI_DISABLE_RUNTIME is not set
#
# Tegra firmware driver