Cover Image

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhao, Xinkui, Zhang, Yifan, Zhao, Haidan, Zhang, Hao, Ma, Qingyu, Zhang, Lufei, Cheng, Guanjie, Deng, Shuiguang, Yin, Jianwei, Chen, Zuoning
Format:	Preprint
Published:	2025
Subjects:	Operating Systems Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Integrating Artificial Intelligence into Operating Systems: A Survey on Techniques, Applications, and Future Directions
by: Zhang, Yifan, et al.
Published: (2024)

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

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

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

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

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

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

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

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

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
by: Peng, Yuke, et al.
Published: (2025)

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

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

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

UFO2: The Desktop AgentOS
by: Zhang, Chaoyun, et al.
Published: (2025)

MaLV-OS: Rethinking the Operating System Architecture for Machine Learning in Virtualized Clouds
by: Bitchebe, Stella, et al.
Published: (2025)

Analysis of Security in OS-Level Virtualization
by: Ketha, Krishna Sai, et al.
Published: (2025)

μFork: Supporting POSIX fork Within a Single-Address-Space OS
by: Kressel, John Alistair, et al.
Published: (2025)

Composable OS Kernel Architectures for Autonomous Intelligence
by: Singh, Rajpreet, et al.
Published: (2025)

PerOS: Personalized Self-Adapting Operating Systems in the Cloud
by: Hè, Hongyu
Published: (2024)

PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
by: Wei, Xingda, et al.
Published: (2024)

Herding LLaMaS: Using LLMs as an OS Module
by: Kamath, Aditya K, et al.
Published: (2024)

Crash-Consistent Checkpointing for AI Training on macOS/APFS
by: Jeon, Juha
Published: (2025)

Proto: A Guided Journey through Modern OS Construction
by: Choe, Wonkyo, et al.
Published: (2025)

The NIC should be part of the OS
by: Xu, Pengcheng, et al.
Published: (2025)

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains
by: Ceravola, Antonello, et al.
Published: (2024)

Fork, Explore, Commit: OS Primitives for Agentic Exploration
by: Wang, Cong, et al.
Published: (2026)

Ringmaster: How to juggle high-throughput host OS system calls from TrustZone TEEs
by: Habeeb, Richard, et al.
Published: (2026)

SemaTune: Semantic-Aware Online OS Tuning with Large Language Models
by: Liargkovas, Georgios, et al.
Published: (2026)

Taming Serverless Cold Starts Through OS Co-Design
by: Holmes, Ben, et al.
Published: (2025)

Exploiting Dependency and Parallelism: Real-Time Scheduling and Analysis for GPU Tasks
by: Zhang, Yuanhai, et al.
Published: (2026)

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

When eBPF Meets Machine Learning: On-the-fly OS Kernel Compartmentalization
by: Wang, Zicheng, et al.
Published: (2024)

CityOS: Privacy Architecture for Urban Sensing
by: Cavicchioli, Giorgio, et al.
Published: (2026)

Principled Performance Tunability in Operating System Kernels
by: Chen, Zhongjie, et al.
Published: (2025)

CARTOS: A Charging-Aware Real-Time Operating System for Intermittent Batteryless Devices
by: Karimi, Mohsen, et al.
Published: (2023)

From Imperative to Declarative: Towards LLM-friendly OS Interfaces for Boosted Computer-Use Agents
by: Wang, Yuan, et al.
Published: (2025)

RUISA Operational Ecosystem Architecture
by: AL Mohtar, Mouayad
Published: (2026)

Demystifying Serverless Costs on Public Platforms: Bridging Billing, Architecture, and OS Scheduling
by: Lin, Changyuan, et al.
Published: (2025)

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems
by: Zhao, Shuai, et al.
Published: (2024)

CHRONOS: Compensating Hardware Related Overheads with Native Multi Timer Support for Real-Time Operating Systems
by: Heider, Kay, et al.
Published: (2025)