RVAsec 2020 Badge
The RVAsec 2020 badge is seeded from HackRVA's public firmware repository. The source tree documents a real badge software target with LCD display code, buttons, IR packet handling, menus, badge apps, audio/image asset playback, LED control, USB bootloader tooling, and a small C-like interpreter.