Add link to spec PDF.

CHERIoT-Platform · Jul 15, 2024 · 82f76db · 82f76db
1 parent 7fea882
commit 82f76db
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.markdown b/index.markdown
@@ -29,6 +29,7 @@ The CHERIoT project comprises several repositories:
 
  - The [formal model of the CHERIoT ISA](https://github.com/microsoft/cheriot-sail).
  This is used to build an executable simulator and to prove properties of both the ISA and of implementations.
+ [The current (draft) version of the specification](https://microsoft.github.io/cheriot-sail/cheriot-architecture.pdf) is built in CI.
  - The [CHERIoT RTOS](https://github.com/microsoft/cheriot-rtos), a clean-slate RTOS designed to take advantage of CHERIoT features.
  This provides the compartment model, a heap that can be safely shared across mutually distrusting compartments, and a host of other features.
  - [CHERIoT LLVM](https://github.com/CHERIoT-Platform/llvm-project) provides the toolchain for building the RTOS and other software that runs atop it.