Change CapDL branch names

seL4 · Feb 14, 2024 · 0a47241 · 0a47241
1 parent 1f51c53
commit 0a47241
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/crates/sel4-capdl-initializer/README.md b/crates/sel4-capdl-initializer/README.md
@@ -38,8 +38,8 @@ SEL4_PREFIX=$my_sel4_prefix \
 ```
 
 Later, prepare the initializer by adding the CapDL spec. `sel4-capdl-initializer-add-spec` takes a
-CapDL spec in JSON format. [This branch](https://github.com/coliasgroup/capdl/tree/coliasgroup) of
-the parse-capDL tool is capable of translating a `.cdl` file to JSON.
+CapDL spec in JSON format. [This branch](https://github.com/coliasgroup/capdl/tree/rust) of the
+parse-capDL tool is capable of translating a `.cdl` file to JSON.
 
 ```bash
 parse-capDL --object-sizes=$my_object_sizes --json=spec.json $my_capdl_spec

diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
@@ -28,7 +28,7 @@ let
 
   capdlCommon = {
     url = "https://github.com/coliasgroup/capdl.git";
-    rev = "1bd2aa7596ba418be33f314f880682e4fb8ef679"; # branch coliasgroup
+    rev = "1bd2aa7596ba418be33f314f880682e4fb8ef679"; # branch rust-testing
     local = localRoot + "/capdl";
   };