Issue dossier

The public code repository includes a PFC161 directory with Makefile, Easy PDK material, and C source, but reviewed roots did not visibly expose a README, release, or explicit LICENSE/COPYING file. Sources do not establish a final firmware binary, tag, release notes, version-to-production mapping, reproducible build, programmer/toolchain setup, supported flashing path, rollback/recovery, signed update, security assessment, vulnerability process, warranty, support policy, or a license grant for code/hardware/media.

A linkable camp-impact record with badge context, severity, evidence confidence, and source notes.

Back to issues index

firmware, release, flashing, and source-license gap · public repository and current root review · development source visible; release and license unconfirmed

The catalogue links the source trail without representing the artifact as fully open source, reproducibly buildable, safe to reflash, support-guaranteed, security-reviewed, or licensed for redistribution.

Badge
Portal Gun SAO (DEF CON 34)
Category
firmware, release, flashing, and source-license gap
Severity
note
Confidence
public repository and current root review
Status
development source visible; release and license unconfirmed
Timeframe
repositories rechecked 2026-08-04
Source note
portal-gun-sao-dc33-code and portal-gun-sao-dc33 public repository roots plus Portal Gun PFC161 main.c.

Evidence

Related Resources

official maker/seller page

BigFuckingBadge DEF CON 34 Badges and SAOs

Maker-operated DEF CON 34 page with a limited-presale context and a $20 Portal-gun companion card that describes blue portal, orange/red portal, and off modes plus interaction with the year's Portal Badge. The page does not print the roster's exact `PORTAL gun SAO` label, so its mapping is used together with the public Badgelife roster; page media do not state reusable-image rights.

Badge: Portal Gun SAO (DEF CON 34)

public Badgelife self-submission roster

DEFCON 34 Badgelife Form (Responses)

Public DEF CON 34 Badgelife response from BigFuckingBadge that names a new PORTAL gun SAO, marks it as an SAO, gives a $20 price, says touching its end changes animated colors, says it interacts with the PORTAL Badge, and links the public hardware/code repositories. It is a submitter-provided pre-event association, not official DEF CON issuance, final sale/delivery proof, final revision documentation, third-party-IP permission, or image-reuse permission.

Badge: Portal Gun SAO (DEF CON 34)

public firmware-source repository

portal-gun-sao-dc33-code

Public Hexum064 firmware repository, also carrying the `dc33` name, with a PFC161 directory, Makefile, Easy PDK material, build directory, and C source. No README, release, or explicit root LICENSE/COPYING file was identified in the reviewed root; publication does not establish final production parity, reproducibility, support, or permission to republish media.

Badge: Portal Gun SAO (DEF CON 34)

public hardware-source repository

portal-gun-sao-dc33

Public Hexum064 hardware repository whose name carries a `dc33` lineage marker and whose root/tree include PFC161 hardware, KiCad board/schematic/project files, BOM/position data, Gerbers, acrylic material, backups, and source image files. It is a useful implementation trail, not proof that the archive is a new, unmodified, fabricated, safe, compatible, delivered, or explicitly licensed 2026 production package.

Badge: Portal Gun SAO (DEF CON 34)

public touch and LED interaction source

Portal Gun PFC161 main.c

Published PFC161 C source defining a four-pixel RGB-color buffer, blue/orange/off state values, a 470 pF touch-capacitor note, touch initialization/baseline/threshold logic, and timer-driven LED updates. It is source-level behavior evidence, not proof of exact final colors, physical LEDs, touch construction, host interaction, every-unit behavior, safety, accessibility, or end-user support.

Badge: Portal Gun SAO (DEF CON 34)

Source trail

Evidence Sources

BigFuckingBadge · retrieved 2026-05-15

BigFuckingBadge DEF CON 34 Badges and SAOs

Primary maker/seller source for the DEF CON 34 limited-presale setting and the $20 Portal-gun companion card describing blue, orange/red, and off modes plus interaction with the year's Portal Badge. The card lacks the exact `PORTAL gun SAO` text, so it is paired with the roster; it does not establish official DEF CON status, final stock/delivery, source revision, hardware specifications, third-party-IP authorization, or image reuse permission.

Badge: Portal Gun SAO (DEF CON 34)

BigFuckingBadge / Hexum064 via public DEF CON 34 Badgelife response sheet · retrieved 2026-05-15

DEFCON 34 Badgelife Form (Responses)

Primary public self-submission source for a new SAO named PORTAL gun SAO, its $20 price, touch-end animated-color behavior, stated Portal Badge interaction, and linked public hardware/firmware repositories. It establishes an intended independent BadgeLife association, not DEF CON organizer issuance, admission, final manufacture/sale/handoff, testing, compatibility, franchise authorization, or image reuse rights.

Badge: Portal Gun SAO (DEF CON 34)

GitHub / Hexum064 · retrieved 2026-05-15

Portal Gun PFC161 main.c

Primary implementation source for PFC161 headers, four-pixel RGB state buffers, blue/orange/off source patterns, 470 pF touch-capacitor note, touch baseline/threshold logic, and timer-driven LED output. It supports source-level touch/color behavior but not final hardware population, exact public color selection, every-unit functionality, host protocol, safety/accessibility, third-party-IP rights, or user-facing support claims.

Badge: Portal Gun SAO (DEF CON 34)

GitHub / Hexum064 · retrieved 2026-05-15

portal-gun-sao-dc33

Primary public hardware-tree source for PFC161/portal-gun directories, KiCad board and schematic/project material, BOM/position files, Gerbers, acrylic material, and backups. Its `dc33` repository name is a lineage clue, not direct proof of which earlier event/edition shipped, nor of 2026 board revision, fabrication, electrical safety, host compatibility, delivery, or a license grant.

Badge: Portal Gun SAO (DEF CON 34)

GitHub / Hexum064 · retrieved 2026-05-15

portal-gun-sao-dc33-code

Primary public firmware-tree source for a PFC161 build directory with Makefile, Easy PDK material, and C implementation. The reviewed root did not visibly expose a README, release, or explicit LICENSE/COPYING file, so it evidences a public development/reuse trail rather than a final supported/open-source product release.

Badge: Portal Gun SAO (DEF CON 34)