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,728Mar 30, 2026Updated last week
Alternatives and similar repositories for linux
Users that are interested in linux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,504Mar 25, 2026Updated 2 weeks ago
- The official documentation for Raspberry Pi computers and microcontrollers☆5,552Apr 2, 2026Updated last week
- ☆1,907Jul 11, 2022Updated 3 years ago
- Linux kernel source tree☆226,906Apr 4, 2026Updated last week
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,072Dec 23, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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,997Updated this week
- Raspberry Pi USB device provisioning tool (RPIBOOT)☆1,269Apr 1, 2026Updated last week
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,466Mar 4, 2026Updated last month
- The systemd System and Service Manager☆16,149Updated this week
- The official Read Only BeagleBoard and BeagleBone kernel repository https://git.beagleboard.org/beagleboard/linux☆790Jan 26, 2026Updated 2 months ago
- Raspberry Pi ARM based bare metal examples☆2,803Jul 14, 2023Updated 2 years ago
- An easier way to update the firmware of your Raspberry Pi☆1,941Feb 6, 2023Updated 3 years ago
- Learning operating system development using Linux kernel and Raspberry Pi☆13,792Mar 29, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Arduino IDE 1.x☆14,557Oct 11, 2025Updated 6 months ago
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆2,409Apr 2, 2026Updated last week
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆21,607Apr 1, 2026Updated last week
- Firmware files for the Raspberry Pi☆781Oct 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,939Apr 2, 2026Updated last week
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆41,225Updated 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…☆60,180Updated 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 …☆26,200Updated this week
- Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware archite…☆14,902Apr 3, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- TLS/SSL and crypto library☆29,894Updated this week
- The official Vim repository☆40,146Apr 4, 2026Updated last week
- ☆4,737Updated this week
- Configuration tool for the Raspberry Pi☆601Mar 26, 2026Updated 2 weeks ago
- RT-Thread is an open source IoT Real-Time Operating System (RTOS). …☆11,875Updated this week
- 'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.☆7,179Mar 16, 2026Updated 3 weeks ago
- Tool used to create the official Raspberry Pi OS images☆3,150Mar 17, 2026Updated 3 weeks ago
- A book-in-progress about the Linux kernel and its insides.☆32,370Apr 4, 2026Updated last week
- The arguably fastest GPIO Library for the Raspberry Pi☆3,289Mar 13, 2026Updated 3 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Visual Studio Code☆183,505Updated this week
- 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,221Mar 5, 2026Updated last month
- Empowering everyone to build reliable and efficient software.☆111,885Updated this week
- An Open Source Machine Learning Framework for Everyone☆194,518Updated this week
- OBS Studio - Free and open source software for live streaming and screen recording☆71,492Updated this 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,396Updated this week