Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers

⏰ Collaboratively track worldwide conference deadlines (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security

Linux kernel source tree

这是一个成为更好的Java程序员的系列教程

Occlum is a memory-safe, multi-process library OS for Intel SGX

清华大学计算机系考研攻略 Guidance for postgraduate entrance examination in Department of Computer Science and Technology, Tsinghua University

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

NVIDIA Linux open GPU kernel module source

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…

A quickstart tutorial for getting Jailhouse up and running in QEMU

Compound Real-time Operating System

A curated list of open-source projects that help exploit Intel SGX technology

A Hardware Abstraction Layer (HAL) for embedded systems

📚 Learn to write an embedded OS in Rust 🦀

A Rust-based, lightweight unikernel.

辰龙操作系统

An Rust hypervisor for mixed-critical system

Curated list of resources for Embedded and Low-level development in the Rust programming language

An experimental modular OS written in Rust.

Intra-Unikernel Isolation with Intel Memory Protection Keys

An experimental modular OS written in Rust.

Benchmark Tool for Embedded Key-Value Stores available in Rust

Hermit for Rust.

Unikraft port of the lwip network stack

Build the NVIDIA Jetson TX2 Kernel on the device itself

OSv, a new operating system for the cloud.

Rustpi Enhanced