Awesome GitHub RepositoriesSafe Kernel Abstractions

Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se

This project provides a framework and toolset for developing memory-safe kernel-mode and user-mode drivers for the Windows operating system. It enables developers to build drivers using safe programming patterns that prevent common memory errors and system crashes, while providing the necessary infrastructure to interface with low-level hardware and system APIs. The framework distinguishes itself by offering procedural macros and binding generation tools that translate complex C-style system headers into idiomatic, type-safe code. It includes a custom global allocator designed for the strict

Această bibliotecă oferă o colecție de abstracțiuni de nivel scăzut pentru interacțiunea cu perifericele hardware pe dispozitivele Raspberry Pi, folosind limbajul de programare Rust. Aceasta servește drept interfață type-safe pentru controlul pinilor fizici și gestionarea comunicării cu componente electronice externe și senzori. Proiectul se distinge prin utilizarea abstracțiunilor la momentul compilării, care mapează apelurile de funcții de nivel înalt direct la instrucțiuni hardware, asigurând un overhead minim la runtime. Oferă acces consistent la hardware prin împachetarea interfețelor de dispozitiv de nivel kernel și a registrelor mapate în memorie în abstracțiuni sigure, bazate pe trăsături (traits), care permit implementări interschimbabile de drivere. Biblioteca acoperă o gamă largă de capabilități de integrare hardware, inclusiv gestionarea protocoalelor standard de comunicare serială precum I2C, SPI și UART. De asemenea, suportă modularea în lățime a impulsurilor (PWM) și controlul pinilor GPIO, permițând integrarea senzorilor industriali și declanșarea actuatoarelor. Software-ul este distribuit sub formă de crate, oferind o abordare structurată pentru dezvoltarea sistemelor embedded și interfațarea hardware pe computere cu o singură placă bazate pe Linux.