GaloisInc / BESSPIN-Tool-Suite

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

Trim down all FreeRTOS branches #1001

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

We currently have 3 FreeRTOS branches in this repo, which is a bit too much.

My suggestion is:

rtadros125 commented 3 years ago

I think we can divide this to:

podhrmic commented 3 years ago

Change the documentation to make sure we're clear that to get the FETT BugBounty builds, you'd need to checkout an older version (and which version?).

The changes between 10.1 and the "classic" are pretty minimal - is there a value in building BugBounty with the newer (less buggy) FreeRTOS?

rtadros125 commented 3 years ago

The changes between 10.1 and the "classic" are pretty minimal - is there a value in building BugBounty with the newer (less buggy) FreeRTOS?

The only value is to have the mode=test working because I don't see the value in removing modes from the tool; right?