Stars
โฐ Collaboratively track deadlines of conferences recommended by CCF (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
่ฟๆฏไธไธชๆไธบๆดๅฅฝ็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
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 ๐ฆ
Curated list of resources for Embedded and Low-level development in the Rust programming language
arceos-org / arceos-staging
Forked from arceos-org/arceosAn experimental modular OS written in Rust.
ssrg-vt / libhermitMPK
Forked from hermit-os/kernelIntra-Unikernel Isolation with Intel Memory Protection Keys
Benchmark Tool for Embedded Key-Value Stores available in Rust
Build the NVIDIA Jetson TX2 Kernel on the device itself
Empowering everyone to build reliable and efficient software.