Seed corepop binaries for bootstrapping a Poplog build
(see INSTALL and PORTING-POPLOG.md part 6). Install as
target/pop/corepop, then run ./configure && make.
Built from commit 749580cd8508f41e21d798cb25cd51b9472ff5a1.
| asset | notes | sha256 |
|---|---|---|
corepop-aarch64-darwin |
Apple Silicon macOS (Mach-O, MAP_JIT); needs the allow-jit entitlement path, see PORTING-ARM64-M-SILICON-OSX.md | 3d551069de18a014b777ba7e42049fcaca09ed8a41e563a4e8a3e837b63530dc |
corepop-aarch64-linux |
AArch64 Linux, generic armv8-a; built on Raspberry Pi 5 (16 KB pages -- loads on 4 KB kernels too) | 80cda1b9d59c225457a6a35a1e49849a54029c3318ca1fd1f7ac932a4c89db24 |
corepop-riscv64-linux |
RISC-V RV64GC Linux (lp64d); built on StarFive VisionFive | aa55fb698cc40cf87ea2de06f1bac0ea2b75ac1b2f30d1c9998b090858f9c1b9 |
corepop-x86_64-linux |
x86-64 Linux (LP64, glibc); upstream backend | c373533161d257ab6fba381f2a4b76f865c9fe257e1641ef1ed4151bd3e0e7d5 |
Verify with: sha256sum -c SHA256SUMS
Also carries the pop11 Claude-skill tarballs (pop11-skill-*.tar.gz,
checksums in SHA256SUMS.pop11-skill, refreshed 2026-08-14 with the
binary-safe popsession reader, checkpoint --verify, and the Tier-2
standard library). These live here because tools/install-skill.sh and
tools/ci/build-and-verify.sh both download from
releases/latest/download/: whichever release is marked Latest must
carry BOTH the corepop seeds and the skill tarballs, or the curl
one-liner install breaks (it 404'd 2026-08-09 → 08-14 when this
seeds-only release took the Latest tag).