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
☆917Updated 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,263Updated 2 months ago
- A 64-bit OS for the Raspberry Pi 3☆717Updated 4 years ago
- Gentoo overlay for the Raspberry Pi 3 and 4☆53Updated 10 months ago
- Raspberry Pi 3 UEFI Firmware Images☆286Updated last year
- Bootable RPi4 / RPi3 image with 64-bit kernel, 32-bit Raspbian Buster host OS, 64-bit Debian Buster guest OS in nspawn container☆155Updated 4 years ago
- PKGBUILDs modified to build on Arch Linux ARM☆1,001Updated this week
- Berryboot -- Boot menu / OS installer☆820Updated 10 months ago
- ☆191Updated last month
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆467Updated last year
- Configuration tool for the Raspberry Pi☆584Updated last month
- Firmware files for the Raspberry Pi☆780Updated 3 years ago
- Bootstrap a base Arch Linux system☆314Updated 2 months ago
- Raspberry Pi USB booting code, moved from tools repository☆1,030Updated 2 weeks ago
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,348Updated 2 weeks 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 month
- Xorg DDX driver for ARM devices (Allwinner, RPi and others)☆205Updated 6 years ago
- A collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files☆583Updated last year
- pinebook pro tools: tools for system management, hardware acceleration, and wayland environment for the pinebook pro.☆46Updated 3 years ago
- Build your Chromium OS for Raspberry Pi 4B, Pi400 and the latest Raspberry Pi 5☆1,716Updated 2 months ago
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,056Updated 4 months ago
- Fast init for Linux. Cookies included☆651Updated 2 weeks ago
- Arch Build Source Management Tool☆293Updated last year
- An enhanced Operating System installer for the Raspberry Pi☆1,241Updated 3 months ago
- An instruction manual for teaching Linux From Scratch users how to make a fully-fledged Debian system based on LFS.☆255Updated 5 years ago
- Ubuntu Server 18.04.4 Raspberry Pi 4 Image + Build Script (unofficial)☆535Updated 2 years ago
- Bluetooth Audio ALSA Backend☆897Updated this 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
- Official Gentoo ebuild repository☆176Updated this week
- The OpenRC init system☆1,547Updated this week
- Linux kernel source tree☆432Updated 2 weeks ago