raspberrypi / linux
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/
☆11,671Updated 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,309Updated last week
- ☆1,899Updated 2 years ago
- The official documentation for Raspberry Pi computers and microcontrollers☆5,395Updated this week
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,057Updated 4 months ago
- "Das U-Boot" Source Tree☆4,429Updated this week
- NOOBS (New Out Of Box Software) - An easy Operating System install manager for the Raspberry Pi☆2,216Updated 2 years ago
- The systemd System and Service Manager☆14,127Updated this week
- The official Read Only BeagleBoard and BeagleBone kernel repository https://git.beagleboard.org/beagleboard/linux☆735Updated last week
- Linux kernel source tree☆193,655Updated this week
- ☆3,440Updated last week
- The arguably fastest GPIO Library for the Raspberry Pi☆3,023Updated 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…☆2,977Updated this week
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,359Updated this week
- Qemu kernel for emulating Rpi on QEMU☆2,105Updated 2 years ago
- Raspberry Pi ARM based bare metal examples☆2,746Updated last year
- Arm Mbed OS is a platform operating system designed for the internet of things☆4,750Updated 7 months ago
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆11,284Updated this week
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,246Updated this week
- Firmware files for the Raspberry Pi☆779Updated 3 years ago
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,187Updated last year
- RIOT - The friendly OS for IoT☆5,516Updated this week
- Tool used to create the official Raspberry Pi OS images☆2,871Updated this week
- Bare metal Raspberry Pi 3 tutorials☆2,853Updated 10 months ago
- DEPRECATED - See README.md☆2,537Updated 2 years ago
- 'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.☆5,984Updated last week
- ☆9,895Updated this week
- FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.☆3,209Updated this week
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆1,910Updated this week
- BusyBox mirror☆1,783Updated 7 months ago
- Portable OpenSSH☆3,352Updated this week