From 9bc33a866b3bd7f7cf8d929a066e5cfd0a3f5c78 Mon Sep 17 00:00:00 2001
From: Hugo McNally <hugo.mcnally@gmail.com>
Date: Tue, 3 Sep 2024 06:59:22 +0100
Subject: [PATCH] Added cheriot-audit to the developer environment

---
 flake.nix | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 618c967..c565ffa 100644
--- 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";