sakaki- / gentoo-on-rpi-64bit
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
☆919Updated 4 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
- Raspberry Pi 4 UEFI Firmware Images☆1,244Updated 3 weeks ago
- A 64-bit OS for the Raspberry Pi 3☆716Updated 4 years ago
- Gentoo overlay for the Raspberry Pi 3 and 4☆53Updated 8 months ago
- Berryboot -- Boot menu / OS installer☆817Updated 7 months ago
- Firmware files for the Raspberry Pi☆777Updated 3 years ago
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,309Updated 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☆154Updated 4 years ago
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,248Updated this week
- Rock64 Linux build scripts, tools and instructions☆563Updated last year
- An easier way to update the firmware of your Raspberry Pi☆1,942Updated 2 years ago
- Configuration tool for the Raspberry Pi. Now maintained at https://github.com/RPi-Distro/raspi-config☆265Updated 11 months ago
- Raspberry Pi 3 UEFI Firmware Images☆284Updated last year
- script to enable zram for raspberry pi☆352Updated last year
- An enhanced Operating System installer for the Raspberry Pi☆1,197Updated last month
- The OpenRC init system☆1,518Updated this week
- ☆188Updated last month
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,052Updated last month
- Raspberry Pi USB booting code, moved from tools repository☆985Updated this week
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated last year
- Configuration tool for the Raspberry Pi☆580Updated this week
- Open source VPU side bootloader for Raspberry Pi.☆430Updated 11 months ago
- 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
- 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…☆55Updated last year
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 4 years ago
- Ubuntu Server 18.04.4 Raspberry Pi 4 Image + Build Script (unofficial)☆536Updated 2 years ago
- DEPRECATED - DO NOT USE | Go here instead ->☆743Updated 4 years ago
- Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4☆25Updated 4 years ago
- Flash/Rescue SD Card image for PinePhone and PineTab. This is NOT a bootloader☆490Updated last year
- Development has moved to https://github.com/RPi-Distro/rpi-source☆289Updated 4 years ago
- Alpine Linux System Install for RPI 2, 3 and 4☆107Updated last year