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
☆914Updated 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
Sorting:
- A 64-bit OS for the Raspberry Pi 3☆718Updated 5 years ago
- Berryboot -- Boot menu / OS installer☆821Updated last year
- PKGBUILDs modified to build on Arch Linux ARM☆1,007Updated this week
- Raspberry Pi 4 UEFI Firmware Images☆1,292Updated last month
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,067Updated 6 months ago
- Raspberry Pi USB booting code, moved from tools repository☆1,077Updated 2 weeks ago
- Firmware files for the Raspberry Pi☆777Updated 3 years ago
- Rock64 Linux build scripts, tools and instructions☆566Updated last year
- Configuration tool for the Raspberry Pi☆589Updated last week
- Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs☆1,379Updated 2 weeks ago
- An enhanced Operating System installer for the Raspberry Pi☆1,277Updated last month
- An easier way to update the firmware of your Raspberry Pi☆1,942Updated 2 years ago
- Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)☆468Updated 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☆156Updated 4 years ago
- script to enable zram for raspberry pi☆357Updated 2 years ago
- This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU f…☆5,349Updated last week
- Linux kernel source tree☆436Updated last week
- ☆192Updated 2 months ago
- Convert Ubuntu Server for Raspberry Pi into a Desktop☆518Updated last year
- ☆1,900Updated 3 years ago
- Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4☆39Updated 4 years ago
- DEPRECATED - DO NOT USE | Go here instead ->☆745Updated 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…☆55Updated 4 months ago
- Utility to back up Pi to an SD card reader☆272Updated this week
- Gentoo overlay for the Raspberry Pi 3 and 4☆52Updated last year
- Bluetooth Audio ALSA Backend☆916Updated last week
- Raspberry Pi 3 UEFI Firmware Images☆286Updated 2 years ago
- pre-built coreboot images and documentation on how to flash them for Thinkpad Laptops☆767Updated 3 months ago
- Android port that aims to bring both user- and developer-friendly experience in using AOSP with a set of single-board computers (SBC), ph…☆484Updated last year
- PiKISS for Raspberry Pi: A bunch of scripts with menu to make your life easier.☆939Updated last week