sakaki- / bcm2711-kernel-bisLinks
Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4
☆39Updated 4 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 4 years ago
- Rock64 Linux build scripts, tools and instructions☆565Updated last year
- Automated weekly build of the default branch 64-bit bcmrpi3_defconfig (+ tweaks) Linux kernel for the RPi3 B / B+☆21Updated 4 years ago
- Linux kernel source tree☆48Updated last month
- Raspberry Pi 3 UEFI Firmware Images☆292Updated 2 years ago
- ☆193Updated 4 months ago
- Armbian Linux Documentation provides set of guides, manuals, and resources available to help users install, configure, and use Armbian☆210Updated this week
- Firmware files for the Raspberry Pi☆777Updated 3 years ago
- iPXE for the Raspberry Pi☆202Updated last year
- 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…☆918Updated 4 years ago
- Pine64 Linux build scripts, tools and instructions (based on Longsleep work)☆154Updated 6 years ago
- 64-bit Debian Buster images for the Raspberry Pi 3 and 4.☆54Updated last year
- Raspberry Pi 4 UEFI Firmware Images☆1,303Updated 3 months ago
- A kernel module for Realtek RTL8152/RTL8153 Based USB Ethernet Adapters - Meant to be used in distributions only - For upstream bugs, ple…☆182Updated 2 weeks ago
- Scripts to build bootable SD card images with Debian for various single-board computers☆217Updated 3 weeks ago
- ☆58Updated last week
- Linux kernel source tree☆71Updated 2 weeks ago
- PKGBUILDs modified to build on Arch Linux ARM☆1,009Updated this week
- Image Builder for the Raspberry Pi☆175Updated this week
- Raspberry Pi USB booting code, moved from tools repository☆1,112Updated last week
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated last year
- Linux kernel source tree☆435Updated last week
- Automated weekly build of the default branch 64-bit bcmrpi3_defconfig Linux kernel for the Raspberry Pi 3 model B and B+☆40Updated 4 years ago
- Debian Kernel source for Tinker Board☆144Updated 2 years ago
- Xorg DDX driver for ARM devices (Allwinner, RPi and others)☆205Updated 6 years ago
- Intel NUC7i[x]BN and NUC6CAY LED Control for Linux☆90Updated 2 years ago
- Bootable RPi4 / RPi3 image with 64-bit kernel, 32-bit Raspbian Buster host OS, 64-bit Debian Buster guest OS in nspawn container☆158Updated 4 years ago
- ZSys daemon and client for zfs systems☆301Updated last year
- A set of utilities for monitoring and customizing GPU performance☆156Updated last year
- radxa debian packages repository☆37Updated 2 years ago