SYS-OSS/FRET
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update subvolumes

Browse Source
This commit is contained in:
Alwin Berger 2025-08-12 12:09:59 +00:00
parent e1179c479a
commit 387b3e4d74
3 changed files with 4 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
FreeRTOS

@ -1 +1 @@
Subproject commit 34987ecb95113acd51dc89c43cfed63fc5cbfcfe
Subproject commit 24bba6bde09c45f037c72e8804d5f6867b8d0531

2
LibAFL

@ -1 +1 @@
Subproject commit 3ff617e4a92c81a92cd0c206142b482ea25244b6
Subproject commit 36bd06cb99e6fb825519774e6d6db4d40f747bb6

16
flake.nix
View File

@ -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=";
};
};
}
);
}