[submodule "LibAFL"] path = LibAFL url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-LibAFL.git [submodule "qemu-libafl-bridge"] path = qemu-libafl-bridge url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-qemu.git [submodule "FreeRTOS"] path = FreeRTOS url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-FreeRTOS.git branch = wcet-demo