Fix links in index after the repo moves.

CHERIoT-Platform · Jul 31, 2024 · c5377e9 · c5377e9
1 parent 95d2476
commit c5377e9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/index.markdown b/index.markdown
@@ -27,10 +27,10 @@ CHERIoT extends this with a complete platform providing deterministic use-after-
 
 The CHERIoT project comprises several repositories:
 
- - The  [formal model of the CHERIoT ISA](https://github.com/microsoft/cheriot-sail).
+ - The  [formal model of the CHERIoT ISA](https://github.com/CHERIoT-Platform/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.
+   [The current (draft) version of the specification](https://cheriot.org/cheriot-sail/cheriot-architecture.pdf) is built in CI.
+ - The [CHERIoT RTOS](https://github.com/CHERIoT-Platform/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.
  - [CHERIoT-Audit](https://github.com/CHERIoT-Platform/cheriot-audit) provides tooling for auditing the isolation properties of CHERIoT firmware images.