GitHub repository: GaloisInc/BESSPIN-FreeRTOS-2019
Primary language: C
Created: 2019-08-09T17:11:00Z
Description: The version of FreeRTOS used by the BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs at DEF CON 2019.