Kali Linux arm64 build for Planet Computers Gemini PDA (MT6797X / Helio X25)
Skill Claude CodeCodex
Triage a Gemini serial boot log (ftdi-monitor capture) in one token-efficient pass instead of a chain of ad-hoc grep/tail calls. Use whenever the user says "read the serial log" / "flashed and booted" for any boot capture under logs/.log — kernel bring-up, Kali harvest, or otherwise.
Skill Claude CodeCodex
Run the full Gemini kernel build/pack/provenance cycle (VM build, boot.img pack, provenance dir, banner verification) via scripts/build-pack.sh.
Skill Claude CodeCodex
Configure the Mac's RNDIS/Ethernet Gadget interface so it can reach the Gemini PDA's left-port USB gadget (usb0, 10.15.19.82). Use when the user wants to SSH/ping the device over USB gadget mode and the interface only has a link-local address, or after reconnecting the left-port cable.
Skill Claude CodeCodex
Log in to the Gemini PDA over the FTDI serial console non-interactively and run shell commands, logging all output. Use when the user has released the FTDI port and wants Claude to drive the device console directly (e.g. panel DCS probes, register dumps, dmesg reads).