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
- Firmware files for the Raspberry Pi☆782Updated 4 years ago
- ☆194Updated last month
- Raspberry Pi 3 UEFI Firmware Images☆297Updated 3 weeks ago
- Rock64 Linux build scripts, tools and instructions☆566Updated 2 years ago
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated 2 years ago
- iPXE for the Raspberry Pi☆209Updated last year
- Linux kernel source tree☆48Updated 3 months ago
- Raspberry Pi 4 UEFI Firmware Images☆1,326Updated 3 weeks ago
- Linux kernel source tree☆438Updated last week
- Raspberry Pi USB device provisioning tool (RPIBOOT)☆1,168Updated last week
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,419Updated last week
- One-stop script set to build Ubuntu/Debian images☆228Updated this week
- Firmware files for the Raspberry Pi☆207Updated this week
- Linux kernel source tree☆71Updated 2 weeks ago
- WSD/LLMNR Discovery/Name Service Daemon☆177Updated last year
- Pine64 Linux build scripts, tools and instructions (based on Longsleep work)☆154Updated 6 years ago
- A kernel module for Realtek RTL8152/RTL8153 Based USB Ethernet Adapters - Meant to be used in distributions only - For upstream bugs, ple…☆198Updated 2 weeks 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
- 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
- Scripts to build bootable SD card images with Debian for various single-board computers☆243Updated 2 weeks ago
- Raspberry Pi benchmarking scripts featuring a storage benchmark with score☆206Updated last year
- Ubuntu Server 18.04.4 Raspberry Pi 4 Image + Build Script (unofficial)☆541Updated 3 years ago
- FFmpeg work for RPI☆123Updated 2 weeks ago
- Configuration tool for the Raspberry Pi☆597Updated last week
- Simple benchmark for single board computers☆745Updated last week
- Extensible tool to build Arch Linux ARM for Raspberry Pi on x86_64 host using Docker☆110Updated last month
- Utility to back up Pi to an SD card reader☆281Updated 2 months ago
- ZSys daemon and client for zfs systems☆301Updated last year
- mounts an overlay file system over root☆193Updated 4 years ago