1. Raspbian Nspawn 64
Bootable RPi4 / RPi3 image with 64-bit kernel, 32-bit Raspbian Buster host OS, 64-bit Debian Buster guest OS in nspawn container
✭ 123
shell2. 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
3. efi-install-guide-source
The MediaWiki source pages for "Sakaki's EFI Install Guide" (as hosted on the Gentoo wiki)
4. bcm2711-kernel-bis
Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4
✭ 38
shell5. genup
Utility to update the Portage tree, all installed packages, and kernel, under Gentoo Linux.
6. bcmrpi3-kernel-bis
Automated weekly build of the default branch 64-bit bcmrpi3_defconfig (+ tweaks) Linux kernel for the RPi3 B / B+
7. archlinux-on-b3
Bootable live-USB of Arch Linux for the Excito B3 miniserver, with archlinuxarm.org kernel
✭ 12
shell8. buildkernel
Utility to facilitate the building and installation of EFI secure boot kernels under Gentoo Linux.
1-8 of 8 user projects