Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
☆12,656Mar 13, 2026Updated this week
Alternatives and similar repositories for linux
Users that are interested in linux are comparing it to the libraries listed below
Sorting:
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,498Updated this week
- The official documentation for Raspberry Pi computers and microcontrollers☆5,549Updated this week
- ☆1,907Jul 11, 2022Updated 3 years ago
- Linux kernel source tree☆222,781Updated this week
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,074Dec 23, 2024Updated last year
- NOOBS (New Out Of Box Software) - An easy Operating System install manager for the Raspberry Pi☆2,222Feb 27, 2023Updated 3 years ago
- "Das U-Boot" Source Tree☆4,977Updated this week
- Raspberry Pi USB device provisioning tool (RPIBOOT)☆1,253Feb 11, 2026Updated last month
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,462Mar 4, 2026Updated 2 weeks ago
- The systemd System and Service Manager☆15,465Updated this week
- The official Read Only BeagleBoard and BeagleBone kernel repository https://git.beagleboard.org/beagleboard/linux☆788Jan 26, 2026Updated last month
- Raspberry Pi ARM based bare metal examples☆2,793Jul 14, 2023Updated 2 years ago
- An easier way to update the firmware of your Raspberry Pi☆1,941Feb 6, 2023Updated 3 years ago
- Arduino IDE 1.x☆14,548Oct 11, 2025Updated 5 months ago
- Learning operating system development using Linux kernel and Raspberry Pi☆13,775Mar 29, 2024Updated last year
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆2,379Updated this week
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆21,541Mar 11, 2026Updated last week
- Firmware files for the Raspberry Pi☆782Oct 28, 2021Updated 4 years ago
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please o…☆12,844Updated this week
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆41,186Updated this week
- Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGad…☆59,619Mar 12, 2026Updated last week
- This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We …☆25,908Updated this week
- Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware archite…☆14,689Updated this week
- TLS/SSL and crypto library☆29,770Updated this week
- The official Vim repository☆40,012Updated this week
- ☆4,683Mar 11, 2026Updated last week
- Configuration tool for the Raspberry Pi☆601Updated this week
- RT-Thread is an open source IoT Real-Time Operating System (RTOS). …☆11,848Updated this week
- 'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.☆7,062Mar 4, 2026Updated 2 weeks ago
- Tool used to create the official Raspberry Pi OS images☆3,138Mar 5, 2026Updated 2 weeks ago
- A book-in-progress about the Linux kernel and its insides.☆32,244Updated this week
- Visual Studio Code☆182,759Updated this week
- The arguably fastest GPIO Library for the Raspberry Pi☆3,275Feb 8, 2026Updated last month
- Arm Mbed OS is a platform operating system designed for the internet of things☆4,836Oct 8, 2024Updated last year
- The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)☆10,176Mar 5, 2026Updated last week
- Empowering everyone to build reliable and efficient software.☆111,222Updated this week
- An Open Source Machine Learning Framework for Everyone☆194,195Updated this week
- OBS Studio - Free and open source software for live streaming and screen recording☆70,898Mar 11, 2026Updated last week
- Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…☆3,363Updated this week