Awesome GitHub RepositoriesSystem Resource Initializers

This project is an implementation of the Arduino framework for ESP32 microcontrollers, providing a core that enables firmware development using a familiar API. It functions as a microcontroller hardware abstraction layer and a firmware toolchain integration, bridging external development environments to the hardware for compilation and flashing. The system includes an embedded real-time operating system wrapper to manage multi-core execution and task scheduling, alongside a wireless communication suite for TCP/IP networking and Bluetooth Low Energy. It distinguishes itself by providing an obj

This project is a cross-platform library designed for desktop application development, providing a unified interface for window management, input handling, and hardware-accelerated graphics. It serves as a foundational framework that abstracts platform-specific windowing protocols and graphics APIs, enabling developers to create interactive software that functions consistently across Windows, macOS, and Linux. The library distinguishes itself by providing deep integration with low-level graphics APIs, specifically OpenGL and Vulkan. It manages the complexities of graphics context initializati

This project is an educational resource for developing bare-metal operating systems and kernels from scratch on Raspberry Pi hardware. It provides a structured guide to systems programming using the Rust language, focusing on the implementation of core kernel components that execute directly on ARM-based hardware without the support of an underlying operating system or standard library. The tutorials emphasize a modular architecture that separates hardware-independent kernel logic from processor-specific and board-specific configurations. By utilizing a hardware abstraction layer and distinct

xv6 is a Unix-like educational operating system designed for teaching kernel concepts. It is implemented as an instructional kernel for x86 and RISC-V architectures, featuring a virtual memory manager and support for symmetric multiprocessing. The system is designed to demonstrate core OS principles through a simplified re-implementation of Unix Version 6. It provides a controlled environment for studying system calls, trap handling, and process lifecycles. Its capability surface covers process management, including scheduling and context switching, and memory management via page tables for

This project is a Linux distribution build system and deployment framework designed to compile tailored Debian and Ubuntu server images for Amlogic ARM hardware. It functions as an operating system deployer and kernel builder, providing the tools necessary to flash system images to internal or external storage and manage boot configurations on ARM boards. The system includes a specialized build pipeline for compiling Linux kernels with hardware-specific patches and out-of-tree driver modules. It also features a dual-boot partition manager that enables the backup and restoration of original An

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

Acest proiect este o colecție de documentație tehnică și ghiduri concepute ca un explainer pentru arhitectura calculatoarelor. Oferă resurse educaționale despre modul în care procesoarele și sistemele de operare execută programele, concentrându-se pe ciclul fetch-execute și relația fundamentală dintre hardware și kernel. Documentația acoperă o gamă largă de operațiuni de sistem de nivel scăzut, inclusiv ghiduri detaliate despre formatul binar executabil și linkabil (ELF), gestionarea memoriei virtuale și operațiunile la nivel de kernel. Explorează în mod specific mecanica scheduling-ului CPU, multitasking-ul preemptiv și utilizarea întreruperilor de timer pentru a gestiona execuția proceselor. Materialul explică în continuare fluxurile de lucru de gestionare a memoriei, cum ar fi traducerea adreselor, demand paging și copy-on-write page sharing. Acoperă, de asemenea, securitatea și controlul accesului prin gestionarea privilegiilor procesorului și aplicarea permisiunilor paginilor de memorie, precum și interfața de system call utilizată de programele din user-space pentru a solicita operațiuni privilegiate de kernel. Ghidurile detaliază, de asemenea, ciclul de viață al execuției programului, de la secvența inițială de boot și încărcarea binarului până la înlocuirea procesului și bootstrapping-ul proceselor din userland.

U-Boot este un bootloader embedded care inițializează componentele hardware și încarcă kernel-urile sistemelor de operare în memorie. Funcționează ca un strat de abstractizare hardware care oferă acces standardizat la rețea, stocare și magistrale periferice, servind totodată ca un boot loader securizat și o interfață de actualizare a firmware-ului. Proiectul se remarcă prin implementarea secvențelor de boot securizat care verifică semnăturile criptografice și interfațează cu modulele TPM pentru a stabili încrederea la nivel hardware. Oferă, de asemenea, capabilități specializate pentru actualizarea firmware-ului dispozitivului prin protocoale standardizate precum Fastboot și DFU, și acționează ca un manipulator de device tree pentru a configura parametrii hardware înainte ca sistemul de operare să pornească. Sistemul acoperă o gamă largă de operațiuni de nivel scăzut, inclusiv inițializarea CPU-ului și a controllerului de memorie, gestionarea cache-ului hardware și execuția aplicațiilor independente. Suportă provizionarea kernel-ului de la distanță prin preluarea imaginilor de boot și a device tree-urilor de la servere prin protocoale de rețea și gestionează comportamentul sistemului prin variabile de mediu și execuția de scripturi de comandă. Procesul de build include instrumente pentru împachetarea imaginilor de boot și configurarea țintelor hardware pentru a asigura compatibilitatea binară cu dispozitive embedded specifice.

melonDS este un emulator de Nintendo DS și un emulator de arhitectură hardware. Este o aplicație software concepută pentru a simula arhitectura originală a unei console de jocuri portabile pentru a rula jocuri și aplicații originale pe diferite platforme de calcul. Proiectul funcționează ca un încărcător de firmware capabil să inițializeze mediul emulat folosind dump-uri autentice de BIOS și firmware de sistem. Acest lucru asigură compatibilitatea software prin replicarea stării hardware și a secvenței de boot a sistemului original. Emulatorul oferă capabilități pentru conservarea jocurilor retro prin executarea ROM-urilor de joc originale. Acest lucru este realizat prin emularea arhitecturii la nivel hardware, inclusiv traducerea setului de instrucțiuni și simularea I/O mapată în memorie.

This project provides educational resources and technical guides for microcontroller firmware development. It focuses on writing low-level C code that runs directly on hardware without an underlying operating system, covering the fundamentals of hardware registers, memory mapping, and system clocks. The guides detail the creation of hardware abstraction layers to wrap raw memory-mapped registers into structured interfaces and provide walkthroughs for integrating TCP/IP stacks and HTTP servers into bare-metal environments. It also outlines the implementation of embedded systems build pipelines

unifi-common este un utilitar de startup și extensie de sistem pentru hardware-ul de rețea Ubiquiti UniFi. Servește ca un manager de scripturi de boot pentru dispozitivele UniFi OS, permițând aplicarea configurațiilor personalizate persistente și inițializarea proceselor în fundal în timpul secvenței de pornire a sistemului. Utilitarul oferă un framework pentru automatizarea configurării hardware-ului de rețea și personalizarea comportamentului dispozitivului. Realizează acest lucru prin gestionarea și executarea unei colecții de scripturi shell și fișiere de configurare concepute pentru a rula la momentul boot-ului. Sistemul utilizează un model de execuție bazat pe directoare, scanând un director specific on-boot pentru a declanșa scripturile secvențial. Această abordare bazată pe hook-uri utilizează sistemul de fișiere pentru a determina ce logică personalizată și extensii software ar trebui aplicate pe măsură ce dispozitivul pornește.

Acest proiect este un framework educațional și un set de instrumente conceput pentru dezvoltarea și testarea kernel-urilor de sistem de operare. Oferă un mediu structurat pentru implementarea primitivelor fundamentale de sistem, inclusiv gestionarea memoriei virtuale, programarea preemptivă a proceselor și organizarea sistemului de fișiere, folosind Rust și C. Framework-ul este orientat în mod specific către arhitecturile RISC-V și x86, servind drept laborator pentru învățarea modului de construire a software-ului de bază al sistemului de la zero. Proiectul se distinge prin suportul atât pentru implementarea pe bare-metal, cât și pentru emularea hardware, permițând dezvoltatorilor să valideze logica kernel-ului pe hardware fizic sau în medii simulate. Include un toolchain complet de build care gestionează compilarea cross-arhitectură și inițializarea firmware-ului, asigurând că kernel-ul poate fi corect bootstrapat și executat pe diferite platforme țintă. Sistemul acoperă o gamă largă de capabilități de nivel scăzut, inclusiv straturi de abstractizare hardware care decuplează logica sistemului de design-urile specifice ale procesoarelor și interfețe de apeluri de sistem care gestionează limita dintre aplicațiile user-space și serviciile kernel-ului. De asemenea, încorporează funcții de observabilitate, cum ar fi logarea la runtime și monitorizarea execuției, pentru a asista la analiza comportamentului sistemului în timpul dezvoltării.

This project is a tutorial for developing a custom bare metal operating system specifically for the Raspberry Pi 4. It provides the guidance and resources necessary to write software that interacts directly with hardware without the use of a pre-existing kernel. The project centers on an ARM64 cross-compilation toolchain and a build pipeline that transforms source code into raw binary images. It utilizes linker scripts to define physical memory addresses and section placements, ensuring the resulting binary loads at the correct hardware entry point. The codebase covers direct hardware interf