search

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

FreeRTOS vcu118 fett elfs need to be updated in the LFS repo #1256

Open rtadros125 opened 3 years ago

rtadros125 commented 3 years ago

The current binaries in the LFS repo for FreeRTOS FETT on vcu118 are outdated.