sakaki- / gentoo-on-rpi-64bitLinks
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, weekly-autobuild binhost
☆916Updated 5 years ago
Alternatives and similar repositories for gentoo-on-rpi-64bit
Users that are interested in gentoo-on-rpi-64bit are comparing it to the libraries listed below
Sorting:
- A 64-bit OS for the Raspberry Pi 3☆719Updated 5 years ago
- PKGBUILDs modified to build on Arch Linux ARM☆1,021Updated this week
- Rock64 Linux build scripts, tools and instructions☆566Updated 2 years ago
- Berryboot -- Boot menu / OS installer☆824Updated last year
- Raspberry Pi 4 UEFI Firmware Images☆1,316Updated 2 weeks ago
- Firmware files for the Raspberry Pi☆781Updated 4 years ago
- ☆194Updated last week
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆467Updated 2 years ago
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,415Updated last week
- Raspberry Pi USB booting code, moved from tools repository☆1,157Updated last week
- An easier way to update the firmware of your Raspberry Pi☆1,940Updated 2 years ago
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,068Updated 10 months ago
- Linux kernel source tree☆437Updated 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
- Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4☆25Updated 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
- Bootable 64-bit Gentoo images for the Raspberry Pi 4 and 5☆57Updated 8 months ago
- An enhanced Operating System installer for the Raspberry Pi☆1,320Updated 2 months ago
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 5 years ago
- Gentoo overlay for the Raspberry Pi 3 and 4☆52Updated last year
- Linux Live Kit☆1,084Updated last year
- Open source VPU side bootloader for Raspberry Pi.☆12Updated 3 years ago
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,411Updated last week
- Tool used to create the official Raspberry Pi OS images☆3,045Updated 2 weeks ago
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 5 years ago
- Convert Ubuntu Server for Raspberry Pi into a Desktop☆517Updated 2 years ago
- Bootstrap a base Arch Linux system☆325Updated 9 months ago
- Qemu kernel for emulating Rpi on QEMU☆2,133Updated 3 years ago
- ☆58Updated 2 months ago
- Debian Kernel source for Tinker Board☆144Updated 2 years ago