» Tag
aarch64
2 postsBuilding an Arch Linux Aarch64 Port for Holo Core
Collabora and Valve detail Holo Core, an unofficial aarch64 port of Arch Linux for Steam Frame, and the CI tooling needed to replay its build history.
seL4 Security Proofs Now Complete on AArch64
Proofcraft has finalized the security proofs for seL4 on AArch64, confirming its confidentiality enforcement and enhancing application isolation.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com