sakaki- / bcm2711-kernel-bisLinks
Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4
☆39Updated 5 years ago
Alternatives and similar repositories for bcm2711-kernel-bis
Users that are interested in bcm2711-kernel-bis are comparing it to the libraries listed below
Sorting:
- Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4☆25Updated 5 years ago
- iPXE for the Raspberry Pi☆209Updated last year
- ☆195Updated 2 months ago
- Linux kernel source tree☆48Updated 4 months ago
- Firmware files for the Raspberry Pi☆781Updated 4 years ago
- Raspberry Pi 3 UEFI Firmware Images☆303Updated 2 months ago
- Image Builder for the Raspberry Pi☆175Updated this week
- Rock64 Linux build scripts, tools and instructions☆566Updated 2 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
- 64-bit Debian Buster images for the Raspberry Pi 3 and 4.☆54Updated last year
- Raspberry Pi 4 UEFI Firmware Images☆1,333Updated 2 months 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
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated 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
- ZSys daemon and client for zfs systems☆302Updated last year
- One-stop script set to build Ubuntu/Debian images☆229Updated last month
- 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
- Debian OS builder☆670Updated this week
- Configuration tool for the Raspberry Pi☆599Updated 3 weeks ago
- mounts an overlay file system over root☆197Updated 4 years ago
- Extensible tool to build Arch Linux ARM for Raspberry Pi on x86_64 host using Docker☆113Updated 2 weeks ago
- Raspberry Pi USB device provisioning tool (RPIBOOT)☆1,202Updated this week
- Linux kernel source tree☆439Updated last month
- A kernel module for Realtek RTL8152/RTL8153 Based USB Ethernet Adapters - Meant to be used in distributions only - For upstream bugs, ple…☆199Updated 2 months ago
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,443Updated last week
- Debian Kernel source for Tinker Board☆144Updated 3 years ago
- WSD/LLMNR Discovery/Name Service Daemon☆180Updated last year
- Firmware files for the Raspberry Pi☆206Updated last week
- Docker setup for building ARM64 Ubuntu images for the Raspberry Pi 4B☆32Updated 4 years ago
- Linux kernel source tree☆71Updated 2 weeks ago