hky1999

hky1999's Stars

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust94.7k1.5k53.3k12.2k

• NVIDIA/open-gpu-kernel-modules

  NVIDIA Linux open GPU kernel module source

  Language:C14.2k1723191.2k

• rust-embedded/rust-raspberrypi-OS-tutorials

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

  Language:Rust13.2k23886767

• rust-embedded/awesome-embedded-rust

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

  5.8k16238363

• cloudius-systems/osv

  OSv, a new operating system for the cloud.

  Language:C4.1k2691.2k603

• theseus-os/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.

  Language:Rust2.8k31199164

• rust-embedded/embedded-hal

  A Hardware Abstraction Layer (HAL) for embedded systems

  Language:Rust1.9k68234185

• hermit-os/hermit-rs

  Hermit for Rust.

  Language:Rust1.6k1710583

• TheBloodthirster/BUAA_Course_Sharing

  北京航空航天大学(北航)课程作业资料共享计划

  Language:Mathematica1.4k226282

• hermit-os/kernel

  A Rust-based, lightweight unikernel.

  Language:Rust1.1k1119483

• rcore-os/arceos

  An experimental modular OS written in Rust.

  Language:Rust4401415244

• Maxul/Awesome-SGX-Open-Source

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

  33616050

• lewiscrow/WorkHardAndFindJob

  java

  Language:HTML2223267

• jetsonhacks/buildJetsonTX2Kernel

  Build the NVIDIA Jetson TX2 Kernel on the device itself

  Language:Shell1531128116

• olivierpierre/unikernel-papers

  1031028

• sile/ekvsb

  Benchmark Tool for Embedded Key-Value Stores available in Rust

  Language:Rust253110

• fixstars/cRTOS

  Compound Real-time Operating System

  19636

• arceos-org/arceos

  An experimental modular OS written in Rust.

  Language:Rust1327

• machinaut/libos

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

  Language:C12403

• ssrg-vt/libhermitMPK

  Intra-Unikernel Isolation with Intel Memory Protection Keys

  Language:Rust12201

• unikraft/lib-lwip

  Unikraft port of the lwip network stack

  Language:C1112831

• vladandrew/awesome-unikernels

  11102

• chenlongos/chenlong

  辰龙操作系统

  710

• tonnylyz/rustpi-legacy

  Legacy rustpi. Active repo at https://github.com/tonnylyz/rustpie

  Language:Rust70

• tonnylyz/rustpie

  Rustpi Enhanced

  Language:Rust5403

• tsemo4917/rtshyper

  An embedded hypervisor for mixed-critical system based on Rust

  Language:Rust3

• hky1999/ByteDance-Interview

  Language:C20

• 915604903T/hypercraft

  Language:Rust11

• hintron/jailhouse_quickstart

  A quickstart tutorial for getting Jailhouse up and running in QEMU

  120

• OhmR/factory_collaboration_system

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

  Language:JavaScript10