Added cheriot-audit to the developer environment

lowRISC · Sep 3, 2024 · 9bc33a8 · 9bc33a8
1 parent 06b6bb0
commit 9bc33a8
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -163,7 +163,14 @@
       devShells = rec {
         default = pkgs.mkShell {
           name = "sonata-sw";
-          packages = cheriotPkgs ++ [lrPkgs.uf2conv pkgs.python3Packages.pyserial mdutilsPkgs.default];
+          packages =
+            cheriotPkgs
+            ++ [
+              lrPkgs.uf2conv
+              lrPkgs.cheriot-audit
+              pkgs.python3Packages.pyserial
+              mdutilsPkgs.default
+            ];
         };
         env-with-sim = pkgs.mkShell {
           name = "sonata-sw-with-sim";