diff --git a/crates/sel4-capdl-initializer/README.md b/crates/sel4-capdl-initializer/README.md index 5002c536b..22f5ac730 100644 --- 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 index df248a94d..328ece086 100644 --- 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"; };