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:
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 5 years ago
- Raspberry Pi 3 UEFI Firmware Images☆293Updated last week
- Rock64 Linux build scripts, tools and instructions☆566Updated 2 years ago
- Pine64 Linux build scripts, tools and instructions (based on Longsleep work)☆154Updated 6 years ago
- A simple zram swap service for modern systemd Linux☆341Updated 3 years ago
- Alpine Linux System Install for RPI 2, 3 and 4☆109Updated 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
- Image Builder for the Raspberry Pi☆176Updated this week
- 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
- Linux kernel source tree☆48Updated 2 months ago
- Raspberry Pi Server wizard to serve Raspbian to network booting Pis☆333Updated last year
- Simple Raspberry Pi monitoring tool☆265Updated last year
- pinebook pro tools: tools for system management, hardware acceleration, and wayland environment for the pinebook pro.☆46Updated 3 years ago
- Firmware files for the Raspberry Pi☆781Updated 4 years ago
- Use systemd to allow for standalone operation of kodi.☆192Updated 4 months ago
- ☆194Updated last week
- script to enable zram for raspberry pi☆366Updated 2 years ago
- Replacement for broken zram-config-0.5 package☆130Updated 3 years ago
- 64-bit Debian Buster images for the Raspberry Pi 3 and 4.☆54Updated last year
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆467Updated 2 years ago
- Raspberry Pi 4 UEFI Firmware Images☆1,316Updated last week
- Raspberry Pi benchmarking scripts featuring a storage benchmark with score☆205Updated last year
- iPXE for the Raspberry Pi☆208Updated last year
- ☆120Updated 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
- Minimal 2-partition debian builds with minimal customizations☆30Updated 6 years ago
- TP-Link Archer C7 V2 AC1750 Optimized LEDE Firmware☆173Updated 7 years ago
- Automatically generate AirPrint Avahi service files for CUPS printers☆421Updated 3 years ago
- Firmware files for the Raspberry Pi☆199Updated this week
- ☆58Updated 2 months ago