{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"2d0d1823-44f1-422d-a420-f3396964db0d","slug":"rust-linux-mini-kernel","revision":2,"name":"rust-linux-mini-kernel","description":"RunuX: a #[no_std] Rust kernel and Linux-subsystem reimplementation with Lean 4 formal verification. Real boots on x86_64, RISC-V, and AArch64 (QEMU + real GCP VMs), an eBPF-style syscall firewall, and real PCIe/IOMMU probing on Google Cloud TPU hardware. Research project, contributions welcome.","url":"https://app.decomphub.com/projects/rust-linux-mini-kernel","jsonUrl":"https://app.decomphub.com/data/projects/rust-linux-mini-kernel.json","markdownUrl":"https://app.decomphub.com/data/projects/rust-linux-mini-kernel.md","category":"games","workTypes":["source-reconstruction"],"targets":["Unknown"],"status":"unknown","publishedAt":"2026-10-12T07:51:24.742Z","updatedAt":"2026-10-12T07:51:24.742Z","repository":{"url":"https://github.com/xaviercallens/rust-linux-mini-kernel","host":"github.com","fullPath":"xaviercallens/rust-linux-mini-kernel","description":"RunuX: a #[no_std] Rust kernel and Linux-subsystem reimplementation with Lean 4 formal verification. Real boots on x86_64, RISC-V, and AArch64 (QEMU + real GCP VMs), an eBPF-style syscall firewall, and real PCIe/IOMMU probing on Google Cloud TPU hardware. Research project, contributions welcome.","license":null,"starCount":0,"starsCheckedAt":"2026-10-07T13:56:31.133Z","upstreamArchived":false,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-07T13:56:31.133Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/xaviercallens/rust-linux-mini-kernel"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2026-04-06..2026-05-29&sort=updated&order=desc&per_page=100&page=1"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["HTML"],"tags":[],"links":{"website":null,"documentation":null,"releases":null,"buildInstructions":null,"repositories":[],"community":[],"support":[],"issues":[]},"contribution":{"status":"unknown","helpNeeded":[],"url":null,"sourceUrl":null,"checkedAt":null,"prerequisites":"","environments":[],"aiPolicy":"unspecified","aiPolicySourceUrl":null,"aiPolicyConditions":""},"originalAssetsNote":""}}