Issue dossier
The public repository has both finals and summit firmware assets. The badge record describes the shared GreyMecha/Army badge archive and challenge surfaces without claiming every final attendee image, provisioning step, or private competition backend was public.
A linkable camp-impact record with badge context, severity, evidence confidence, and source notes.
Back to issues index
summit/finals firmware boundary · public release trail and filesystem README · documented
Software claims stay limited to the recovered repository, filesystem README, and release assets.
- Badge
- GreyCTF Summit 2025 GreyBadge
- Category
- summit/finals firmware boundary
- Severity
- note
- Confidence
- public release trail and filesystem README
- Status
- documented
- Timeframe
- GreyCTF 2025 finals and summit release trail
- Source note
- greybadge25 README, RP2350 filesystem README, and GitHub releases page.
FPGA firmware
FPGA-related tree with main, tests, and uart_coprocessor projects referenced by the README tooling notes.
Badge: GreyCTF Summit 2025 GreyBadge
badge repository
Public GreyBadge repository whose GitHub description identifies GreyMecha/Army as the GreyCTF 2025 badge.
Badge: GreyCTF Summit 2025 GreyBadge
event page
Official NUS Greyhats summit page used for event title, Singapore summit context, July 5, 2025 date, and NUS School of Computing COM1 venue.
Badge: GreyCTF Summit 2025 GreyBadge
firmware and production releases
Release trail with summit_v1/summit_v2 UF2 and filesystem assets, finals firmware assets, and prototype PCB production assets.
Badge: GreyCTF Summit 2025 GreyBadge
firmware documentation
RP2350 filesystem README documenting CircuitPython basis, image customization, challenge names, update guidance, and contributor credits.
Badge: GreyCTF Summit 2025 GreyBadge
hardware repository
KiCad project directory with greybadge PCB, RP2350, ECP5 FPGA, TinyFPGA, JLCPCB, library, and production files.
Badge: GreyCTF Summit 2025 GreyBadge
production release
Release preserving BOM, CPL, Gerber ZIP, and schematic PDF assets for the public hardware ordering workflow.
Badge: GreyCTF Summit 2025 GreyBadge
setup and hardware guide
Repository README documenting GreyMecha/Army, CircuitPython setup, hardware ordering notes, FPGA tooling, repository structure, and links to badge manual/talk slides.
Badge: GreyCTF Summit 2025 GreyBadge
GitHub / NUSGreyhats · retrieved 2026-05-15
Hardware source for the KiCad project tree, RP2350 sheet, ECP5U_25 FPGA sheet, main schematic, display, power, D-pad, buzzer, PMOD, FPGA programming, and RP2350-FPGA interlink evidence.
Badge: GreyCTF Summit 2025 GreyBadge
GitHub / NUSGreyhats · retrieved 2026-05-15
Firmware source for the CircuitPython basis, GreyCTF finals challenge names, image customization behavior, update guidance, and named contributor credits.
Badge: GreyCTF Summit 2025 GreyBadge
GitHub / NUSGreyhats · retrieved 2026-05-15
Primary badge repository source for the GreyMecha/Army badge name, CircuitPython setup, firmware filesystem path, hardware-ordering workflow, separate screen/battery ordering notes, and FPGA tooling.
Badge: GreyCTF Summit 2025 GreyBadge
GitHub / NUSGreyhats · retrieved 2026-05-15
Primary public release trail for summit_v1 and summit_v2 UF2/filesystem firmware assets plus finals and prototype hardware-order assets.
Badge: GreyCTF Summit 2025 GreyBadge
NUS Greyhats · retrieved 2026-05-15
Official event-context source for the GreyCTF Summit 2025 name, Singapore summit framing, July 5, 2025 date, and NUS School of Computing COM1 venue.
Badge: GreyCTF Summit 2025 GreyBadge