Address the as of vs. since issues. Fix a URL.

CTSRD-CHERI · Jul 17, 2024 · a7919d1 · a7919d1
1 parent 68f0084
commit a7919d1
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/src/benchmarking/README.md b/src/benchmarking/README.md
@@ -61,7 +61,7 @@ You will need to reboot in order for this change to take effect.
 
 # Heap temporal memory safety
 
-As of CheriBSD 24.05, userlevel heap temporal safety is enabled by default with jemalloc as the memory allocator.
+Since CheriBSD 23.11, userlevel heap temporal safety is enabled by default with jemalloc as the memory allocator.
 This support is experimental, and has not yet been through significant
 performance analysis and optimization.
 We recommend disabling temporal safety support for the full system during
@@ -84,7 +84,7 @@ You will need to reboot in order for this change to take effect.
 
 # The Benchmark ABI
 
-As of CheriBSD 24.05, CheriBSD supports the Benchmark ABI, a modified form of
+Since CheriBSD 23.11, CheriBSD supports the Benchmark ABI, a modified form of
 code generation improving performance on the Arm Morello board.
 This is required due to limitations on bounds prediction in the current
 Morello prototype, which would be resolved in a production microarchitecture.

diff --git a/src/features/temporal.md b/src/features/temporal.md
@@ -1,6 +1,6 @@
 # Userlevel heap temporal memory safety (experimental)
 
-CheriBSD 24.05 incorporates support for userlevel heap temporal memory
+As of CheriBSD 23.11 there has been support for userlevel heap temporal memory
 safety based on a load-barrier extension to
 [Cornucopia](https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020oakland-cornucopia.pdf),
 which is inspired by garbage-collection techniques.

diff --git a/src/packages/README.md b/src/packages/README.md
@@ -9,7 +9,7 @@ They have different levels of completeness, maturity, security, and support.
 extends FreeBSD ports, a collection of over 34,000 third-party
 software adaptations to FreeBSD, with CHERI- and CheriBSD-specific patches.
 The
-[releng/24.05](https://github.com/CTSRD-CHERI/cheribsd-ports/tree/releng/23.11)
+[releng/24.05](https://github.com/CTSRD-CHERI/cheribsd-ports/tree/releng/24.05)
 CheriBSD ports branch contains ports matching the packages built for the current
 release.