Jenkinsfiles: Switch default kernel ABI to purecap

CTSRD-CHERI · Jul 16, 2024 · 1a050e5 · 1a050e5
1 parent c3f15c4
commit 1a050e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -291,7 +291,7 @@ selectedArchitectures.each { suffix ->
         }
         def cheribuildArgs = [
                 "'--cheribsd/build-options=${extraBuildOptions}'",
-                '--cheribsd/default-kernel-abi=hybrid',
+                '--cheribsd/default-kernel-abi=purecap',
                 '--keep-install-dir',
                 '--install-prefix=/rootfs',
                 '--cheribsd/build-lib32',