seL4 Unikernel Substrate for os-console
Maintained by PointSav Digital Systems. Each revision is content-addressed by its commit hash.
- docs(documentation): fix 147 broken wikilinks -- console-os/os-totebox word-order typos (71 occurrences), path-style syntax errors, stray topic- prefixes, PPN/os-console/service-fs/GIS alias-consolidation retargets (57 occurrences), plus 14 links converted to plain text or proper category links where no wikilink target applies (2 flagged as genuine content gaps: app-mediakit-shell has no article; mount is TOML syntax, not a slug)
- editorial(substrate): resolve sel4-unikernel-substrate's standing 2026-08-02 flag (Track-B) — confirmed moonshot-sel4-vmm's Phases H1-H8 are genuinely complete (8 real PD binaries, syscall/debug/bootstrap/bootinfo modules, a real passing HTTP GET to Doorman /healthz over VirtIO-net DMA at H8), not a 4-6-week-out scaffold as the roadmap claimed; rebased the roadmap table + phase narrative to reflect real status; fixed elfloader source count 44->75; also fixed a pre-existing duplicate body H1 on both EN+ES; register-clean
- fix(index-group): resolve orphaned articles across 8 categories, add infrastructure's Compute and VM fabric group
- fix(trademark): remove redundant inline trademark statement from 7 TOPIC articles (14 files EN+ES) — the persistent site footer already renders this notice on every page; disclaimers.md/page-disclaimer.md/README.md correctly keep it, not touched. Pre-existing body-H1 lint errors on 8 of these files are unrelated, not introduced by this change.
- docs(substrate): fidelity sweep — 21 of 40 articles defective, verified against canonical origin/main; fabricated service-disclosure/service-parking/slm-cli, wrong Tier A model + DPO/SFT + KV-cache-federation claims, understated moonshot-sel4-vmm progress, retired-engine route surface, stale versions
- fix(frontmatter): short_description band-fit to house style (120-180 chars) — substrate/
- Phase C A1d: topic-* batch complete — 4 merges into canonical articles (+ content backfill), 4 prefix-drop renames, 2 merge-checks resolved (capability-geometry, private-git-paid-customer-endpoint); research/ seeded (preprint-notice-convention + landing cleanup). Track A (documentation) complete.