[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-5847":3},{"id":4,"name":5,"fullName":6,"owner":5,"repo":5,"description":7,"homepage":8,"htmlUrl":9,"language":10,"languages":9,"totalLinesOfCode":9,"stars":11,"forks":12,"watchers":13,"openIssues":14,"contributorsCount":15,"subscribersCount":15,"size":15,"stars1d":16,"stars7d":17,"stars30d":18,"stars90d":15,"forks30d":15,"starsTrendScore":19,"compositeScore":20,"rankGlobal":9,"rankLanguage":9,"license":21,"archived":22,"fork":22,"defaultBranch":23,"hasWiki":24,"hasPages":22,"topics":25,"createdAt":9,"pushedAt":9,"updatedAt":30,"readmeContent":31,"aiSummary":32,"trendingCount":15,"starSnapshotCount":15,"syncStatus":33,"lastSyncTime":34,"discoverSource":35},5847,"asterinas","asterinas\u002Fasterinas","Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.","https:\u002F\u002Fasterinas.github.io\u002Fblog.html",null,"Rust",4617,309,24,208,0,31,107,159,162,29.47,"Other",false,"main",true,[26,27,28,29],"kernel","os","rust","tee","2026-06-12 02:01:15","\u003Cp align=\"center\">\n    \u003Cimg src=\"book\u002Fsrc\u002Fimages\u002Flogo_en.svg\" alt=\"asterinas-logo\" width=\"620\">\u003Cbr>\n    Toward a production-grade Linux alternative—memory safe, high-performance, and more\u003Cbr\u002F>\n\u003C\u002Fp>\n\n\u003C!-- Asterinas NixOS 0.17.0 demo. It is uploaded as a Github attachment\nso that GitHub will render that URL as a video player in Markdown.\nThe original file name will be displayed up in the top bar of the video player.\nSo make sure you give the video file a cool name before uploading it.\n-->\nhttps:\u002F\u002Fgithub.com\u002Fuser-attachments\u002Fassets\u002F26be2d18-994d-4658-a1b8-f8959bd88b75\n\n\u003Cp align=\"center\">\n    \u003Ca href=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_x86.yml\">\u003Cimg src=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_x86.yml\u002Fbadge.svg?event=push\" alt=\"Test x86-64\" style=\"max-width: 100%;\">\u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_riscv.yml\">\u003Cimg src=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_riscv.yml\u002Fbadge.svg?event=push\" alt=\"Test riscv64\" style=\"max-width: 100%;\">\u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_loongarch.yml\">\u003Cimg src=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_loongarch.yml\u002Fbadge.svg?event=push\" alt=\"Test loongarch64\" style=\"max-width: 100%;\">\u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_x86_tdx.yml\">\u003Cimg src=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Ftest_x86_tdx.yml\u002Fbadge.svg\" alt=\"Test Intel TDX\" style=\"max-width: 100%;\">\u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Fasterinas.github.io\u002Fbenchmark\u002Fx86-64\u002F\">\u003Cimg src=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Fbenchmark_x86.yml\u002Fbadge.svg\" alt=\"Benchmark x86-64\" style=\"max-width: 100%;\">\u003C\u002Fa>\n    \u003Ca href=\"https:\u002F\u002Fasterinas.github.io\u002Fbenchmark\u002Ftdx\u002F\">\u003Cimg src=\"https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Factions\u002Fworkflows\u002Fbenchmark_x86_tdx.yml\u002Fbadge.svg\" alt=\"Benchmark Intel TDX\" style=\"max-width: 100%;\">\u003C\u002Fa>\n    \u003Cbr\u002F>\n\u003C\u002Fp>\n\n**News:**\n* 2025-12-08: **FAST 2026** accepted a paper on a novel secure storage solution having been integrated into Asterinas: _MlsDisk: Trusted Block Storage for TEEs Based on Layered Secure Logging_.\n* 2025-10-17: **ICSE 2026** accepted yet another paper about Asterinas: _RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel_.\n* 2025-10-14: [*CortenMM: Efficient Memory Management with Strong Correctness Guarantees*](https:\u002F\u002Fdl.acm.org\u002Fdoi\u002F10.1145\u002F3731569.3764836) received the **Best Paper Award** at **SOSP 2025**.\n* 2025-07-23: **SOSP 2025** accepted another Asterinas paper: [*CortenMM: Efficient Memory Management with Strong Correctness Guarantees*](https:\u002F\u002Fdl.acm.org\u002Fdoi\u002F10.1145\u002F3731569.3764836).\n* 2025-06-18: **USENIX _;login:_ magazine** published [*Asterinas: A Rust-Based Framekernel to Reimagine Linux in the 2020s*](https:\u002F\u002Fwww.usenix.org\u002Fpublications\u002Floginonline\u002Fasterinas-rust-based-framekernel-reimagine-linux-2020s).\n* 2025-04-30: **USENIX ATC 2025** accepted two Asterinas papers:\n    1. [*Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB*](https:\u002F\u002Fwww.usenix.org\u002Fconference\u002Fatc25\u002Fpresentation\u002Fpeng-yuke);\n    2. [*Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency*](https:\u002F\u002Fwww.usenix.org\u002Fconference\u002Fatc25\u002Fpresentation\u002Ftang).\n\nCongratulations to the Asterinas community🎉🎉🎉\n\n## Introducing Asterinas\n\nThe future of operating systems (OSes) belongs to Rust—a modern systems programming language (PL)\nthat delivers safety, efficiency, and productivity at once.\nThe open question is not _whether_ OS kernels should transition from C to Rust,\nbut _how_ we get there.\n\nLinux follows an _incremental_ path.\nWhile the Rust for Linux project has successfully integrated Rust as an official second PL,\nthis approach faces _inherent friction_.\nAs a newcomer within a massive C codebase,\nRust must often compromise on safety, efficiency, clarity, and ergonomics\nto maintain compatibility with legacy structures.\nAnd while new Rust code can improve what it touches,\nit cannot retroactively eliminate _vulnerabilities_ in decades of existing C code.\n\nAsterinas takes a _clean-slate_ approach.\nBy building a Linux-compatible, general-purpose OS kernel from the ground up in Rust,\nwe are liberated from the constraints of a legacy C codebase—its interfaces, designs, and assumptions—and from the need to preserve historical compatibility for outdated platforms.\n**Languages—including PLs—shape our way of thinking**.\nThrough the lens of a modern PL, Asterinas rethinks and modernizes the construction of OS kernels:\n\n* **Modern architecture.**\n  Asterinas pioneers the [_framekernel_](https:\u002F\u002Fasterinas.github.io\u002Fbook\u002Fkernel\u002Fthe-framekernel-architecture.html) architecture,\n  combining monolithic-kernel performance with microkernel-inspired separation.\n  Unsafe Rust is confined to a small, auditable framework called [OSTD](https:\u002F\u002Fasterinas.github.io\u002Fapi-docs-nightly\u002Fostd\u002F),\n  while the rest of the kernel is written in safe Rust,\n  keeping the memory-safety TCB intentionally minimal.\n\n* **Modern design.**\n  Asterinas learns from Linux's hard-won engineering lessons,\n  but it is not afraid to deviate when the design warrants it.\n  For example, Asterinas improves the CPU scalability of its memory management subsystem\n  with a novel scheme called [CortenMM](https:\u002F\u002Fdl.acm.org\u002Fdoi\u002F10.1145\u002F3731569.3764836).\n\n* **Modern code.**\n  Asterinas's codebase prioritizes safety, clarity, and maintainability.\n  Performance is pursued aggressively, but never by compromising safety guarantees.\n  Readability is treated as a feature, not a luxury,\n  and the codebase is structured to avoid hidden, cross-module coupling.\n\n* **Modern tooling.**\n  Asterinas ships a purpose-built toolkit, [OSDK](https:\u002F\u002Fasterinas.github.io\u002Fbook\u002Fosdk\u002Fguide\u002Findex.html),\n  to facilitate building, running, and testing Rust kernels or kernel components.\n  Powered by OSTD,\n  OSDK makes kernel development as easy and fluid as writing a standard Rust application, eliminating the traditional friction of OS engineering.\n\nAsterinas aims to become **a production-grade, memory-safe Linux alternative**,\nwith performance that matches Linux—and in some scenarios, exceeds it.\nThe project has been under active development for four years,\nsupports 230+ Linux system calls,\nand has launched an experimental distribution,\n[Asterinas NixOS](https:\u002F\u002Fasterinas.github.io\u002Fbook\u002Fdistro\u002Findex.html).\n\nIn 2026, our priority is to advance project maturity toward production readiness,\nspecifically targeting standard and confidential virtual machines on x86-64.\nLooking ahead, we will continue to expand functionality and \nharden the system for **mission-critical deployments**\nin data centers, autonomous vehicles, and embodied AI.\n\n## Getting Started\n\n### Supported CPU Architectures\n\nAsterinas targets modern, 64-bit platforms only.\n\nA **development platform** is where you build and test Asterinas\n(i.e., the host machine running the Docker-based development environment).\n\n| Development Platform |\n| -------------------- |\n| x86-64               |\n| ARM64                |\n\nA **deployment platform** is a CPU architecture\nthat Asterinas can run on as an OS kernel.\n\n| Deployment Platform | Tier   |\n| ------------------- | ------ |\n| x86-64              | Tier 1 |\n| x86-64 (Intel TDX)  | Tier 2 |\n| RISC-V 64           | Tier 2 |\n| LoongArch 64        | Tier 3 |\n\nTier definitions:\n- **Tier 1:** Fully supported and tested.\n  CI runs the full test suite on every PR.\n- **Tier 2:** Actively developed with basic functionality working.\n  CI runs build checks and basic tests on a regular basis\n  (per PR for RISC-V and nightly for Intel TDX),\n  but the full test suite is not yet covered.\n- **Tier 3:** Early-stage or experimental.\n  The kernel can boot and perform basic operations,\n  but CI coverage is limited and\n  may not include automated runtime tests for every pull request.\n\n### For End Users\n\nWe provide [Asterinas NixOS ISO Installer](https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Freleases)\nto make the Asterinas kernel more accessible for early adopters and enthusiasts.\nWe encourage you to try out Asterinas NixOS and share feedback.\nInstructions on how to use the ISO installer can be found [here](https:\u002F\u002Fasterinas.github.io\u002Fbook\u002Fdistro\u002Findex.html#end-users).\n\n**Disclaimer: Asterinas is an independent, community-led project.\nAsterinas NixOS is _not_ an official NixOS project and has _no_ affiliation with the NixOS Foundation. _No_ sponsorship or endorsement is implied.**\n\n### For Kernel Developers\n\nFollow the steps below to get Asterinas up and running.\n\n1. Download the latest source code on an x86-64 (or ARM64) Linux machine:\n\n    ```bash\n    git clone https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\n    ```\n\n2. Run a Docker container as the development environment:\n\n    ```bash\n    docker run -it --privileged --network=host -v \u002Fdev:\u002Fdev -v $(pwd)\u002Fasterinas:\u002Froot\u002Fasterinas asterinas\u002Fasterinas:0.17.1-20260319\n    ```\n\n    Alternatively, if you use VS Code with the\n    [Dev Containers](https:\u002F\u002Fmarketplace.visualstudio.com\u002Fitems?itemName=ms-vscode-remote.remote-containers)\n    extension, open the cloned folder and select \"Reopen in Container\".\n\n3. Inside the container,\ngo to the project folder (`\u002Froot\u002Fasterinas`) and run:\n\n    ```bash\n    make kernel\n    make run_kernel\n    ```\n\n    This results in a VM running the Asterinas kernel with a small initramfs.\n\n4. To install and test real-world applications on Asterinas,\nbuild and run Asterinas NixOS in a VM:\n\n    ```bash\n    make nixos\n    make run_nixos\n    ```\n    \n    This boots into an interactive shell in Asterinas NixOS,\n    where you can use Nix to install and try more packages.\n\n## The Book\n\nSee [The Asterinas Book](https:\u002F\u002Fasterinas.github.io\u002Fbook\u002F) to learn more about the project.\n\n## License\n\nAsterinas's source code and documentation primarily use the\n[Mozilla Public License (MPL), Version 2.0](https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Fblob\u002Fmain\u002FLICENSE-MPL).\nSelect components are under more permissive licenses,\ndetailed [here](https:\u002F\u002Fgithub.com\u002Fasterinas\u002Fasterinas\u002Fblob\u002Fmain\u002F.licenserc.yaml). For the rationales behind the choice of MPL, see [here](https:\u002F\u002Fasterinas.github.io\u002Fbook\u002Findex.html#licensing).\n","Asterinas 旨在成为一个生产级别的 Linux 替代操作系统，强调内存安全与高性能。该项目使用 Rust 语言开发，利用其特性提供更强的内存安全保障和性能优化，同时支持多种架构（如 x86-64、RISC-V、LoongArch）及Intel TDX等技术。Asterinas集成了创新的安全存储解决方案MlsDisk，并通过CortenMM实现了高效且具有强正确性保证的内存管理。适合对安全性、稳定性有高要求的企业级应用场景，特别是需要在多架构环境中运行的工作负载。",2,"2026-06-11 03:05:12","top_language"]