-
-
-
ewokos Public
Forked from MisaZhu/ewokosA microkernel os for ARM, well ported on Raspberry Pi(s)
C Apache License 2.0 UpdatedOct 19, 2025 -
circle Public
Forked from rsta2/circleA C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
C GNU General Public License v3.0 UpdatedAug 31, 2025 -
-
-
-
-
nuttx Public
Forked from apache/nuttxApache NuttX is a mature, real-time embedded operating system (RTOS)
C Apache License 2.0 UpdatedJul 1, 2025 -
-
nuttx-apps Public
Forked from apache/nuttx-appsApache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS
C Apache License 2.0 UpdatedJun 26, 2025 -
-
-
-
-
-
ruxpin Public
Forked from transistorfet/ruxpinAn Operating System written in Rust for a Raspberry Pi 3 (Aarch64)
Rust GNU General Public License v3.0 UpdatedAug 8, 2024 -
uspi Public
Forked from rsta2/uspiA bare metal USB driver for Raspberry Pi 1-3 written in C
C GNU General Public License v3.0 UpdatedJul 20, 2024 -
-
rust-raspberrypi-OS-tutorials Public
Forked from rust-embedded/rust-raspberrypi-OS-tutorials📚 Learn to write an embedded OS in Rust 🦀
Rust Apache License 2.0 UpdatedJul 11, 2024 -
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedApr 16, 2024 -
pico-sdk Public
Forked from raspberrypi/pico-sdkC BSD 3-Clause "New" or "Revised" License UpdatedMar 9, 2024 -
-
-
-
-
pico-examples Public
Forked from raspberrypi/pico-examplesC BSD 3-Clause "New" or "Revised" License UpdatedFeb 5, 2024 -
raspberry-pi-os Public
Forked from s-matyukevich/raspberry-pi-osLearning operating system development using Linux kernel and Raspberry Pi
C MIT License UpdatedNov 10, 2023 -
raspi3-tutorial Public
Forked from bztsrc/raspi3-tutorialBare metal Raspberry Pi 3 tutorials
C MIT License UpdatedSep 15, 2023 -
mimiker Public
Forked from cahirwpz/mimikerSimple unix-like operating system for education and research purposes
C BSD 3-Clause "New" or "Revised" License UpdatedJul 19, 2023
{{ message }}