From 387b3e4d74bf04961db4383351f7de62a80fdca1 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Tue, 12 Aug 2025 12:09:59 +0000
Subject: [PATCH] update subvolumes

---
 FreeRTOS  |  2 +-
 LibAFL    |  2 +-
 flake.nix | 16 ++--------------
 3 files changed, 4 insertions(+), 16 deletions(-)

diff --git a/FreeRTOS b/FreeRTOS
index 34987ec..24bba6b 160000
--- a/FreeRTOS
+++ b/FreeRTOS
@@ -1 +1 @@
-Subproject commit 34987ecb95113acd51dc89c43cfed63fc5cbfcfe
+Subproject commit 24bba6bde09c45f037c72e8804d5f6867b8d0531
diff --git a/LibAFL b/LibAFL
index 3ff617e..36bd06c 160000
--- a/LibAFL
+++ b/LibAFL
@@ -1 +1 @@
-Subproject commit 3ff617e4a92c81a92cd0c206142b482ea25244b6
+Subproject commit 36bd06cb99e6fb825519774e6d6db4d40f747bb6
diff --git a/flake.nix b/flake.nix
index 647a9de..61421e6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -54,8 +54,6 @@
             openssl_legacy  # gdb needs libcrypt.so.1
             # generate bindings from RTOS to Rust
             rust-bindgen
-            # compare libafl edges
-            #packages.edge_compare
             # Debugging
             ddd
             # visualization
@@ -76,6 +74,8 @@
           ];
 
           shellHook = ''
+          export INSIDE_DEVSHELL=1
+          export PATH=$PATH:$(pwd)/LibAFL/fuzzers/FRET/tools/bin
           export CUSTOM_QEMU_DIR=$(pwd)/qemu-libafl-bridge
           export LIBAFL_QEMU_DIR=$(pwd)/qemu-libafl-bridge
           export CUSTOM_QEMU_NO_BUILD=1
@@ -87,22 +87,10 @@
           export LIBCLANG_PATH=${clang-all}/lib
           export BENCHDIR=bench_default
 
-          export PICO_SDK_PATH=$(pwd)/pico-sdk
           export FREERTOS_KERNEL_PATH=$(pwd)/FreeRTOS-Kernel
           mkdir -p $TMPDIR
           '';
         };
-
-        packages = {
-          edge_compare=rustPlatform.buildRustPackage rec {
-            pname = "edge_compare";
-            version = "0.1.0";
-
-            src = ./edge_compare;
-
-            cargoSha256 = "sha256-47THUU9aKhAwb2Tz8bJWDmVhDokpr+DOiFNZhmsN8Gk=";
-          };
-        };
       }
     );
 }