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,555Updated 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,486Feb 19, 2026Updated last week
- The official documentation for Raspberry Pi computers and microcontrollers☆5,538Updated this week
- ☆1,905Jul 11, 2022Updated 3 years ago
- Linux kernel source tree☆218,325Updated 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,221Feb 27, 2023Updated 3 years ago
- The systemd System and Service Manager☆15,342Updated this week
- "Das U-Boot" Source Tree☆4,952Updated this week
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆40,889Updated this week
- Arduino IDE 1.x☆14,540Oct 11, 2025Updated 4 months ago
- Raspberry Pi USB device provisioning tool (RPIBOOT)☆1,237Feb 11, 2026Updated 2 weeks ago
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆21,484Updated this week
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,455Feb 18, 2026Updated last 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,218Updated this week
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please o…☆12,737Updated this 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,668Updated this week
- TLS/SSL and crypto library☆29,631Updated this week
- Learning operating system development using Linux kernel and Raspberry Pi☆13,758Mar 29, 2024Updated last year
- The official Vim repository☆39,899Updated this week
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆2,350Feb 16, 2026Updated last week
- An easier way to update the firmware of your Raspberry Pi☆1,941Feb 6, 2023Updated 3 years ago
- Raspberry Pi ARM based bare metal examples☆2,787Jul 14, 2023Updated 2 years ago
- Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware archite…☆14,509Updated this week
- ☆4,648Feb 17, 2026Updated last week
- Visual Studio Code☆182,065Updated this week
- OBS Studio - Free and open source software for live streaming and screen recording☆70,478Updated this week
- Empowering everyone to build reliable and efficient software.☆110,560Updated this week
- Arm Mbed OS is a platform operating system designed for the internet of things☆4,831Oct 8, 2024Updated last year
- RT-Thread is an open source IoT Real-Time Operating System (RTOS). …☆11,791Updated this week
- 'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.☆6,998Feb 12, 2026Updated 2 weeks ago
- The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)☆10,124Dec 1, 2025Updated 2 months ago
- The official Read Only BeagleBoard and BeagleBone kernel repository https://git.beagleboard.org/beagleboard/linux☆785Jan 26, 2026Updated last month
- A book-in-progress about the Linux kernel and its insides.☆32,199Updated this week
- Firmware files for the Raspberry Pi☆781Oct 28, 2021Updated 4 years ago
- An Open Source Machine Learning Framework for Everyone☆193,905Updated this week
- Tool used to create the official Raspberry Pi OS images☆3,121Dec 4, 2025Updated 2 months ago
- Configuration tool for the Raspberry Pi☆601Jan 8, 2026Updated last month
- Flash OS images to SD cards & USB drives, safely and easily.☆33,183Jul 29, 2025Updated 6 months ago
- Open Source Computer Vision Library☆86,283Updated this week