Test the tock-cheri meta_ptr PR

tock · Nov 13, 2024 · ca51c66 · ca51c66
1 parent aa92419
commit ca51c66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/treadmill-ci-test.yml b/.github/workflows/treadmill-ci-test.yml
@@ -68,7 +68,7 @@ jobs:
       tock-hardware-ci-ref: ${{ github.sha }}
 
       # Use the latest upstream Tock kernel / userspace components:
-      tock-kernel-ref: 'master'
+      tock-kernel-ref: '0709e6a41a943e453794b3592dcff1091b717a90'
       libtock-c-ref: 'master'
       tests-json: ${{ needs.analyze-changes.outputs.hwci-tests-json }}