Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Peng, Yuke, Tian, Hongliang, Junyang, Zhang, Li, Ruihan, Chen, Chengjun, Jiang, Jianfeng, Xian, Jinyi, Wang, Xiaolin, Xu, Chenren, Zhou, Diyu, Luo, Yingwei, Yan, Shoumeng, Zhang, Yinqian
Formato:	Preprint
Publicado:	2025
Materias:	Operating Systems
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Rusty Linux: Advances in Rust for Linux Kernel Development
por: Panter, Shane K., et al.
Publicado: (2024)

XBOF: A Cost-Efficient CXL JBOF with Inter-SSD Compute Resource Sharing
por: Yi, Shushu, et al.
Publicado: (2025)

Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
por: Zheng, Yusheng, et al.
Publicado: (2025)

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers
por: Frank, Elena, et al.
Publicado: (2025)

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
por: Thapa, Bipin, et al.
Publicado: (2026)

Linux for Everyone: Can Standardization Drive Mainstream Adoption?
por: Nandha, Rohit J, et al.
Publicado: (2025)

Concurrency Testing in the Linux Kernel via eBPF
por: Xu, Jiacheng, et al.
Publicado: (2025)

A note on the orbit equivalence of injective actions
por: Qiang, Xiangqi, et al.
Publicado: (2024)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
por: Deng, Zhaomeng, et al.
Publicado: (2024)

Joyride: Rethinking Linux's network stack design for better performance, security, and reliability
por: Du, Yanlin, et al.
Publicado: (2025)

Machine Learning (ML) library in Linux kernel
por: Dubeyko, Viacheslav
Publicado: (2026)

On Diagonal bimodules of étale groupoid $C^*$-algebras
por: Liu, Rui, et al.
Publicado: (2025)

Maratona Linux a tale of upgrading from Ubuntu 20.04 to 22.04
por: Santos, Davi Antônio da Silva, et al.
Publicado: (2025)

SquirrelFS: using the Rust compiler to check file-system crash consistency
por: LeBlanc, Hayley, et al.
Publicado: (2024)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
por: Mao, Jinsong, et al.
Publicado: (2025)

Case Study: Securing MMU-less Linux Using CHERI
por: Almatary, Hesham, et al.
Publicado: (2023)

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
por: Wang, Cong, et al.
Publicado: (2026)

Design and Reliability of a User Space Write-Ahead Log in Rust
por: Pellegatti, Vitor K. F., et al.
Publicado: (2025)

The eBPF Runtime in the Linux Kernel
por: Gbadamosi, Bolaji, et al.
Publicado: (2024)

treVM: Tiny Rust Embedded Virtual Machines with WASM on Variable Resource-Constrained Hardware
por: Lavandier, Antoine, et al.
Publicado: (2026)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
por: Ackermann, Eric, et al.
Publicado: (2026)

eBPF-mm: Userspace-guided memory management in Linux with eBPF
por: Mores, Konstantinos, et al.
Publicado: (2024)

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
por: Zhao, Xinkui, et al.
Publicado: (2025)

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
por: Zhou, Jinmeng, et al.
Publicado: (2024)

Understanding and Enhancing Linux Kernel-based Packet Switching on WiFi Access Points
por: Zhang, Shiqi, et al.
Publicado: (2024)

CrashFixer: A crash resolution agent for the Linux kernel
por: Mathai, Alex, et al.
Publicado: (2025)

gpu_ext: Extensible OS Policies for GPUs via eBPF
por: Zheng, Yusheng, et al.
Publicado: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
por: Zou, Guangxian, et al.
Publicado: (2025)

Towards Deterministic Sub-0.5 us Response on Linux through Interrupt Isolation
por: Zhou, Zhouyi, et al.
Publicado: (2025)

Mitigating context switching in densely packed Linux clusters with Latency-Aware Group Scheduling
por: Isstaif, Al Amjad Tawfiq, et al.
Publicado: (2025)

Where Linux Breaks Under Radiation: A Cross-Architecture Kernel-Level Characterization of Proton-Induced Failures in COTS SoCs
por: Memon, Saad, et al.
Publicado: (2025)

Alliance formation in a coproduct supply chain
por: Yangyang Peng, et al.
Publicado: (2026)

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux
por: Giacomossi, Luiz, et al.
Publicado: (2026)

Exploiting Application-to-Architecture Dependencies for Designing Scalable OS
por: Xiao, Yao, et al.
Publicado: (2025)

Leveraging OS-Level Primitives for Robotic Action Management
por: Zheng, Wenxin, et al.
Publicado: (2025)

AgentCgroup: Understanding and Controlling OS Resources of AI Agents
por: Zheng, Yusheng, et al.
Publicado: (2026)

Combining Type Checking and Formal Verification for Lightweight OS Correctness
por: Ijaz, Ramla, et al.
Publicado: (2024)

AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems
por: She, Jianshu
Publicado: (2026)

MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
por: Dang, Pucheng, et al.
Publicado: (2025)

LithOS: An Operating System for Efficient Machine Learning on GPUs
por: Coppock, Patrick H., et al.
Publicado: (2025)