sakaki- / bcm2711-kernelLinks
Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4
☆25Updated 5 years ago
Alternatives and similar repositories for bcm2711-kernel
Users that are interested in bcm2711-kernel are comparing it to the libraries listed below
Sorting:
- Raspberry Pi 3 UEFI Firmware Images☆303Updated 2 months ago
- Bootable RPi4 / RPi3 image with 64-bit kernel, 32-bit Raspbian Buster host OS, 64-bit Debian Buster guest OS in nspawn container☆159Updated 5 years ago
- Image Builder for the Raspberry Pi☆175Updated last week
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 5 years ago
- Firmware files for the Raspberry Pi☆781Updated 4 years ago
- Linux kernel source tree☆48Updated 4 months ago
- A simple zram swap service for modern systemd Linux☆345Updated 3 years ago
- Rock64 Linux build scripts, tools and instructions☆566Updated 2 years ago
- Linux kernel source tree☆71Updated 2 weeks ago
- Alpine Linux System Install for RPI 2, 3 and 4☆109Updated 2 years ago
- Simple Raspberry Pi monitoring tool☆266Updated 2 years ago
- Automated weekly build of the default branch 64-bit bcmrpi3_defconfig (+ tweaks) Linux kernel for the RPi3 B / B+☆21Updated 5 years ago
- Automated weekly build of the default branch 64-bit bcmrpi3_defconfig Linux kernel for the Raspberry Pi 3 model B and B+☆40Updated 5 years ago
- Utility to back up Pi to an SD card reader☆283Updated 3 months ago
- Raspberry Pi Server wizard to serve Raspbian to network booting Pis☆334Updated last year
- Raspberry Pi 4 UEFI Firmware Images☆1,336Updated 2 months ago
- Replacement for broken zram-config-0.5 package☆131Updated 3 years ago
- Bootable 64-bit Gentoo image for the Raspberry Pi4B, 3B & 3B+, with Linux 5.4, OpenRC, Xfce4, VC4/V3D, camera and h/w codec support, wee…☆916Updated 5 years ago
- iPXE for the Raspberry Pi☆209Updated last year
- ☆195Updated 2 months ago
- DEPRECATED - DO NOT USE | Go here instead ->☆746Updated 5 years ago
- mounts an overlay file system over root☆199Updated 4 years ago
- TP-Link Archer C7 V2 AC1750 Optimized LEDE Firmware☆173Updated 7 years ago
- 64-bit Debian Buster images for the Raspberry Pi 3 and 4.☆54Updated last year
- Build an Linux OS based image☆260Updated 3 weeks ago
- Raspberry Pi benchmarking scripts featuring a storage benchmark with score☆208Updated last year
- ☆94Updated 3 years ago
- Scripts to build bootable SD card images with Debian for various single-board computers☆259Updated 2 weeks ago
- Create a USB boot drive with support for legacy BIOS and 32/64bit UEFI in a single partition on Linux☆77Updated last year
- Intel NUC7i[x]BN and NUC6CAY LED Control for Linux☆90Updated 2 years ago