chore(core): binctl makefile target removal
What changed, and why it matters
This commit simply removes an unused developer convenience command from the build Makefile. It does not change any firmware code, crypto logic, or device behavior, and has no security relevance.
No action required. This is a benign build-system cleanup.
Security signals we found
No strong security signals were identified.
Evidence from the diff
The patch deletes the binctl Makefile target, which ran tools/headertool.py against the built bootloader and firmware binaries to print header information. The commit message explains the script moved and a new PQ variant was added, making automatic selection complicated, so the unused target is being removed. No source code, build artifacts, or runtime behavior are modified.
Changed components
core/MakefileInspect captured patch +0 / −4
diff --git a/core/Makefile b/core/Makefile
index e66eddad..c01d44ef 100644
--- a/core/Makefile
+++ b/core/Makefile
@@ -474,10 +474,6 @@ gdb_firmware: $(FIRMWARE_BUILD_DIR)/firmware.elf ## start remote gdb session to
## misc commands:
-binctl: ## print info about binary files
- ./tools/headertool.py $(BOOTLOADER_BUILD_DIR)/bootloader.bin
- ./tools/headertool.py $(FIRMWARE_BUILD_DIR)/firmware.bin
-
bloaty: ## run bloaty size profiler
bloaty -d symbols -n 0 -s file $(FIRMWARE_BUILD_DIR)/firmware.elf | less
bloaty -d compileunits -n 0 -s file $(FIRMWARE_BUILD_DIR)/firmware.elf | less
Why this scored 15/100
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.