Build a verified ARMv7 Grease runtime for phone Cat Food - #12

Merged

isomorphisms merged 35 commits into

mainfrom

phone/armv7-runtime

Sep 18, 2026

Commits on Sep 10, 2026

Add ARMv7 phone Grease cross-build
isomorphisms
committed
c25291e
Build Grease ARMv7 runtime in GitHub Actions
isomorphisms
committed
c78a474
Define Oils dev flag during cross configure
isomorphisms
committed
009eb2b
Target Android API 28 for POSIX runtime APIs
isomorphisms
committed
6015e31
Pin Grease native libc vocabulary source
isomorphisms
committed
dab0d07
ci: expose native diagnostics and run libc test
isomorphisms
committed
f0b27ae
Pin current native libc source and diagnostics
isomorphisms
committed
cb40194

Commits on Sep 11, 2026

native CI: repair translated bridge and host build handoff
isomorphisms
committed
26e79e3
native CI: run only focused libc bridge tests
isomorphisms
committed
efa6342
Pin translator-safe native libc boundary
isomorphisms
committed
3547222
Pin scoped native libc implementation
isomorphisms
committed
983120a
Exercise file-backed mapping from Grease
isomorphisms
committed
dfa8f58
Exercise native actions from Grease syntax
isomorphisms
committed
3e61bf3
Document the narrow native libc boundary
isomorphisms
committed
bfe9f10
Pin protection-aware native mappings
isomorphisms
committed
24e5ebc
Use call-site syntax for native named arguments
isomorphisms
committed
dc78e1e
ci: run Oils cpp-spec natively on Debian
isomorphisms
committed
c8b2c70
ci: build ARMv7 runtime natively from Debian
isomorphisms
committed
c66220f
ci: make Debian ARMv7 dependencies explicit
isomorphisms
committed
73eaea6
Run ARMv7 workflow natively on Debian
isomorphisms
authored
b66277d
ci: keep fork PRs off Debian receipt runner
isomorphisms
committed
2d59688
ci: keep fork PRs off Debian ARMv7 runner
isomorphisms
committed
958b342
Keep fork PRs off Debian ARMv7 runner
isomorphisms
authored
9bc1a95

Commits on Sep 14, 2026

ci: run ARMv7 build on GitHub Ubuntu
isomorphisms
committed
8e145f4
ci: return native libc receipt to hosted Ubuntu
isomorphisms
committed
aee2364
ci: return ARMv7 build to hosted Ubuntu
isomorphisms
committed
30d14fb
Merge phone/armv7-runtime into native Linux libc vocabulary
isomorphisms
committed
5877522
Fix ARM ELF receipt checks under pipefail
isomorphisms
committed
8e5a562
Provision readline for hosted libc receipt
isomorphisms
committed
9985a12
Reuse cpp-spec YSH for mapped IB receipt
isomorphisms
committed
758f9ad

Commits on Sep 15, 2026

Avoid SIGPIPE in ARM runtime ELF checks
isomorphisms
committed
a75d089
Diagnose old ARM ELF verifier pipeline
isomorphisms
committed
a67415b
Remove ARM verifier diagnostic
isomorphisms
committed
9b2500c

Commits on Sep 16, 2026