configs: set CONFIG_GUIDED_EXEC for nohype-ref config

7dee693b · ZhangZifei · 1827b4fc · 7dee693b
隐藏空白更改
内联并排

Showing with 1 addition and 1 deletion

configs/riscv64-nohype-ref_defconfig configs/riscv64-nohype-ref_defconfig +1 -1

未找到文件。
--- a/configs/riscv64-nohype-ref_defconfig
+++ b/configs/riscv64-nohype-ref_defconfig
@@ -83,7 +83,7 @@ CONFIG_AC_SOFT=y
 #
 CONFIG_SHARE=y
 # CONFIG_DIFFTEST_STORE_COMMIT is not set
-# CONFIG_GUIDED_EXEC is not set
+CONFIG_GUIDED_EXEC=y
 # CONFIG_QUERY_REF is not set
 CONFIG_LARGE_COPY=y
 # CONFIG_PANIC_ON_UNIMP_CSR is not set