hky1999

rust

Empowering everyone to build reliable and efficient software.

open-gpu-kernel-modules

NVIDIA Linux open GPU kernel module source

rust-raspberrypi-OS-tutorials

:books: Learn to write an embedded OS in Rust :crab:

awesome-embedded-rust

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

bestJavaer

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

osv

OSv, a new operating system for the cloud.

Theseus

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 and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

912_project

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

embedded-hal

A Hardware Abstraction Layer (HAL) for embedded systems

hermit-rs

Hermit for Rust.

occlum

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

kernel

A Rust-based, lightweight unikernel.

asterinas

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

arceos

An experimental modular OS written in Rust.

Awesome-SGX-Open-Source

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

buildJetsonTX2Kernel

Build the NVIDIA Jetson TX2 Kernel on the device itself

unikernel-papers

ekvsb

Benchmark Tool for Embedded Key-Value Stores available in Rust

cRTOS

Compound Real-time Operating System

arceos

An experimental modular OS written in Rust.

libos

library OS, based on xv6, for running go programs on (virtual) bare metal

libhermitMPK

Intra-Unikernel Isolation with Intel Memory Protection Keys

lib-lwip

Unikraft port of the lwip network stack

chenlong

辰龙操作系统

rustpie

Rustpi Enhanced

rtshyper

An embedded hypervisor for mixed-critical system based on Rust

ByteDance-Interview

hypercraft

jailhouse_quickstart

A quickstart tutorial for getting Jailhouse up and running in QEMU

factory_collaboration_system

基于订单的家庭工厂协作系统前端部分