change default kernel config

CTSRD-CHERI · Apr 17, 2024 · ad41482 · ad41482
1 parent 991a341
commit ad41482
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/test_argument_parsing.py b/tests/test_argument_parsing.py
@@ -528,7 +528,7 @@ def test_kernconf():
  freebsd_native = _get_target_instance("freebsd-amd64", config, BuildFreeBSD)
  assert config.freebsd_kernconf is None
  assert freebsd_riscv.kernel_config == "QEMU"
- assert cheribsd_riscv_hybrid.kernel_config == "CHERI-QEMU"
+ assert cheribsd_riscv_hybrid.kernel_config == "CHERI-PURECAP-QEMU"
  assert freebsd_native.kernel_config == "GENERIC"
 
  # Check that --kernconf is used as the fallback