Skip to content
OpenTrain AIFor AI Companies

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB

Published Jun 1, 2025
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Missing
Not verified yet
Time to first repro
A few days
Plan setup time
Risk flags
1
Review before use

Results and benchmarks

Freshness tier: cold
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB is the primary contribution described in this paper.

Implementation

Best maintained implementation now

Recommended
Confidence: High
Reproducibility: Moderate
asterinas/asterinas

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

4,817 stars · 354 forks · Last push Aug 21, 2026 · MPL-2.0 license

  • License
  • CI
  • Dependencies
  • Docker

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata · Partial overlap with paper title keywords

Why this implementation
Confidence: high

asterinas/asterinas is the strongest maintained implementation based on ranking signals. CI workflows are present. License is declared (MPL-2.0).

Open asterinas/asterinas
Reproduction risks
  • Dependency manifest is missing
  • Selected asterinas/asterinas as the strongest maintained implementation for new work.
  • Includes CI workflow signals.
  • Repository activity is within the last 24 months.
  • Official repository is preserved separately as historical context.

Compare implementation paths

Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.

asterinas/asterinas
best maintained
Maintenance
Active
Confidence
High
Reproducibility
Moderate
Stars
4,817
Last push
Aug 21, 2026 (5d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

  • No Docker setup
  • Dependency manifest missing
asterinas/atc25-artifact-evaluation
historical official
Maintenance
Archived
Confidence
High
Reproducibility
Limited
Stars
2
Last push
Jun 3, 2025 (449d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

  • Repository archived
  • No push in 12+ months
  • No tagged releases

Reproduction readiness

Time to first repro: days
Last checked: Aug 23, 2026

Major work

No dependency manifest, manual reconstruction required

  • asterinas/asterinas has no requirements.txt, environment.yml, pyproject.toml, or Dockerfile.
  • You will need to reverse-engineer dependencies from import statements in the source code.
Open asterinas/asterinas

Hardware requirements

  • Expect multi-day setup/compute for meaningful reproduction based on current guidance.

Hugging Face artifacts

No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.

Models

Curated Related

Broaden model search

asterinas linux compatible rust

Datasets

No trustworthy datasets matches right now.

Search datasets on Hugging Face

Spaces

No trustworthy spaces matches right now.

Search spaces on Hugging Face

Research context

Evaluation and human feedback data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX

Data includes links from Papers with Code ( CC-BY-SA-4.0 ).