Stars
RD-Gen (random DAG generator considering multi-rate applications for reproducible scheduling evaluation) is a tool for researchers targeting DAGs.
Integration of NVIDIA Nova Carter with Autoware
Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.
This repository contains a minimal implementation of an scx scheduler.
A simple kernel module using struct_ops and a corresponding BPF program
Let's build a symbolic model checker from scratch in Rust !
r1ru / WasmOS
Forked from nuta/microkernel-bookA proof-of-concept microkernel that runs WebAssembly natively.
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
collection of articles about PhD life written in 🇯🇵
oreboot is a fork of coreboot, with C removed, written in Rust.
Modular visual interface for GDB in Python
Documentation and source code powering Twitter's Community Notes