raspberrypi / linuxLinks
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,897Updated 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,360Updated last week
- The official documentation for Raspberry Pi computers and microcontrollers☆5,430Updated this week
- ☆1,899Updated 3 years ago
- Linux kernel source tree☆198,579Updated this week
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,069Updated 7 months ago
- NOOBS (New Out Of Box Software) - An easy Operating System install manager for the Raspberry Pi☆2,221Updated 2 years ago
- "Das U-Boot" Source Tree☆4,575Updated this week
- Raspberry Pi ARM based bare metal examples☆2,754Updated 2 years ago
- Raspberry Pi USB booting code, moved from tools repository☆1,086Updated this week
- The home of Raspberry Pi Imager, a user-friendly tool for creating bootable media for Raspberry Pi devices.☆1,999Updated 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,080Updated this week
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆8,377Updated this week
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆20,664Updated this week
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆11,759Updated this week
- Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.☆3,485Updated this week
- An easier way to update the firmware of your Raspberry Pi☆1,941Updated 2 years ago
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,383Updated last week
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,244Updated last year
- LK embedded kernel☆3,403Updated this week
- Firmware files for the Raspberry Pi☆777Updated 3 years ago
- The arguably fastest GPIO Library for the Raspberry Pi☆3,103Updated last month
- The official Vim repository☆38,624Updated last week
- A cross-platform library to access USB devices☆5,721Updated last month
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆38,402Updated this week
- The systemd System and Service Manager☆14,442Updated this week
- Qemu kernel for emulating Rpi on QEMU☆2,124Updated 3 years ago
- FuzixOS: Because Small Is Beautiful☆2,325Updated last week
- The seL4 microkernel☆5,018Updated this week
- Linux Framebuffer drivers for small TFT LCD display modules. Development has moved to https://git.kernel.org/cgit/linux/kernel/git/gregkh…☆1,884Updated 2 years ago
- Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.☆2,410Updated this week