CTSRD-CHERI · gvnn3 · Jul 17, 2024 · Jul 17, 2024 · Jul 18, 2024 · jrtc27
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 <!-- ANCHOR: cover -->
 
-# Getting Started with CheriBSD 23.11
+# Getting Started with CheriBSD 24.05
 
 Robert N. M. Watson (University of Cambridge)
 and
@@ -15,7 +15,7 @@ further information and support.
 <!--
 NOTE: A release version is also in SUMMARY.md.
 -->
-**The document describes CheriBSD as of the 23.11 release, unless explicitly
+**The document describes CheriBSD as of the 24.05 release, unless explicitly
 stated in sections referring to earlier or later releases.**
 
 *This document is a work-in-progress.  Feedback and contributions are

diff --git a/book.toml b/book.toml
@@ -3,7 +3,7 @@ authors = ["Robert N. M. Watson"]
 language = "en"
 multilingual = false
 src = "src"
-title = "Getting Started with CheriBSD 23.11"
+title = "Getting Started with CheriBSD 24.05"
 
 [output.html]
 git-repository-url = "https://github.com/CTSRD-CHERI/cheribsd-getting-started"

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -1,6 +1,6 @@
 # Summary
 
-[Getting Started with CheriBSD 23.11](cover/README.md)
+[Getting Started with CheriBSD 24.05](cover/README.md)
 
 - [Introduction](introduction/README.md)
 - [Background](background/README.md)

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 23.11, 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 23.11, 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/c18n.md b/src/features/c18n.md
@@ -16,7 +16,7 @@ CHERI-enabled software compartmentalization models:
   The linker-based library compartmentalization model has been included since
   the 22.12 release of CheriBSD.
   See the [c18n(3) man
-  page](https://man.cheribsd.org/cgi-bin/man.cgi/releng-23.11/c18n)
+  page](https://man.cheribsd.org/cgi-bin/man.cgi/releng-24.05/c18n)
   on an installed system for more information.
 
 ## Library compartmentalization
@@ -51,7 +51,7 @@ off-the-shelf aarch64c binaries and libraries can be used with library
 compartmentalization without recompilation to the modified ABI.
 More information on library compartmentalization can be found in the
 [c18n(3) man
-page](https://man.cheribsd.org/cgi-bin/man.cgi/releng-23.11/c18n):
+page](https://man.cheribsd.org/cgi-bin/man.cgi/releng-24.05/c18n):
 
 ```
 man c18n

diff --git a/src/features/processes.md b/src/features/processes.md
@@ -1,6 +1,6 @@
 # Userlevel process environments
 
-CheriBSD 23.11 likewise supports three different userspace execution
+CheriBSD 24.05 likewise supports three different userspace execution
 environments:
 
 - **Hybrid processes** provide strong binary compatibility with the non-CHERI

diff --git a/src/features/temporal.md b/src/features/temporal.md
@@ -1,6 +1,6 @@
 # Userlevel heap temporal memory safety (experimental)
 
-CheriBSD 23.11 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/morello-install/README.md b/src/morello-install/README.md
@@ -14,7 +14,7 @@ following command would write the image to a USB stick for use with a Morello
 board:
 
 ```
-dd if=cheribsd-memstick-arm64-aarch64c-23.11.img of=/dev/DISK bs=1M
+dd if=cheribsd-memstick-arm64-aarch64c-24.05.img of=/dev/DISK bs=1M
 ```
 
 It is also possible to write a live image to a USB stick, with appropriate

diff --git a/src/nonfeatures/README.md b/src/nonfeatures/README.md
@@ -11,7 +11,7 @@ Many other kernel features are not yet well validated, including:
 
 ## Alpha ZFS support
 
-The 23.11 release includes Alpha support for the ZFS file system.  It is
+The 24.05 release includes Alpha support for the ZFS file system.  It is
 lightly tested, but works without known issues with a hybrid kernel.  With
 the pure capability kernel, filesystems can be created and used, but it must
 not be the root file system as it currently hangs on boot.

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/23.11](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.
-Original file line number
+Diff line change
@@ Expand Up @@
     board:
     ```
-    dd if=cheribsd-memstick-arm64-aarch64c-23.11.img of=/dev/DISK bs=1M
+    dd if=cheribsd-memstick-arm64-aarch64c-24.05.img of=/dev/DISK bs=1M
     ```
     It is also possible to write a live image to a USB stick, with appropriate
@@ Expand Down @@