» Tag
seL4
2 postsseL4 Security Proofs Now Complete on AArch64
Proofcraft has finalized the security proofs for seL4 on AArch64, confirming its confidentiality enforcement and enhancing application isolation.
Neptune OS: Run Linux Kernel Drivers in Userspace on seL4
Neptune OS allows running Linux kernel drivers in userspace on the seL4 microkernel, enhancing stability and security.
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