From 72e5987a28c9575a0c2fcb6ef0bccf26cc4c68c4 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Fri, 2 Jun 2023 08:33:18 +0200 Subject: [PATCH] update parts --- .gitmodules | 8 ++++++-- FreeRTOS | 1 + LibAFL | 2 +- flake.nix | 2 ++ qemu-libafl-bridge | 2 +- 5 files changed, 11 insertions(+), 4 deletions(-) create mode 160000 FreeRTOS diff --git a/.gitmodules b/.gitmodules index b8b7ed1..b702f3d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,10 @@ [submodule "LibAFL"] path = LibAFL - url = https://github.com/AFLplusplus/LibAFL + url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-Qemu.git [submodule "qemu-libafl-bridge"] path = qemu-libafl-bridge - url = https://github.com/AFLplusplus/qemu-libafl-bridge + url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/qemu.git +[submodule "FreeRTOS"] + path = FreeRTOS + url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FreeRTOS.git + branch = wcet-demo diff --git a/FreeRTOS b/FreeRTOS new file mode 160000 index 0000000..1873f6e --- /dev/null +++ b/FreeRTOS @@ -0,0 +1 @@ +Subproject commit 1873f6e75ea3f2a695438942192437f66aff8873 diff --git a/LibAFL b/LibAFL index eeaf7eb..183ff32 160000 --- a/LibAFL +++ b/LibAFL @@ -1 +1 @@ -Subproject commit eeaf7eb43f76fe744617e47807081c8cc447380b +Subproject commit 183ff32beb1062d02c0ab290c0a1ebef8513bcca diff --git a/flake.nix b/flake.nix index 73d8404..924c6d6 100644 --- a/flake.nix +++ b/flake.nix @@ -50,6 +50,8 @@ # dependencies for mosaic freetype fontconfig + # benchmarking + snakemake ]; shellHook = '' diff --git a/qemu-libafl-bridge b/qemu-libafl-bridge index 7f19e25..9599557 160000 --- a/qemu-libafl-bridge +++ b/qemu-libafl-bridge @@ -1 +1 @@ -Subproject commit 7f19e258a17d3aa136df4ea990fcf11d263717ac +Subproject commit 95995576a0adf43df4b6660963fd490ccbc230f3