Skip to content
Change the repository type filter

All

    Repositories list

    • Overlay containing various utility ebuilds for Gentoo on EFI.
      Shell
      54000Updated Jul 10, 2024Jul 10, 2024
    • Gentoo overlay for software I use and doesn't have (yet) the needed features or version in official Gentoo portage tree.
      Shell
      GNU General Public License v2.0
      1000Updated Jun 25, 2024Jun 25, 2024
    • Build scripts for building GenPi64 images.
      Python
      Other
      10000Updated Jun 25, 2024Jun 25, 2024
    • genup

      Public
      Utility to update the Portage tree, all installed packages, and kernel, under Gentoo Linux.
      Shell
      GNU General Public License v3.0
      39000Updated Jun 25, 2024Jun 25, 2024
    • Gentoo overlay for the Raspberry Pi 3 and 4
      Shell
      GNU General Public License v3.0
      50000Updated Jun 13, 2024Jun 13, 2024
    • rpi-bonus-toys

      Public archive
      rpi-bonus-toys rpi4 addons or arm64 addons , that gentoo wont carry.
      Shell
      GNU General Public License v2.0
      0000Updated Apr 4, 2022Apr 4, 2022
    • Gentoo Portage overlay with ebuilds to run Gentoo on Khadas boards
      Shell
      1000Updated Dec 9, 2021Dec 9, 2021
    • gentoo docker image, crossdev & distcc are installed
      Dockerfile
      4000Updated Dec 22, 2020Dec 22, 2020
    • docs

      Public
      documentaion
      HTML
      GNU Affero General Public License v3.0
      0020Updated Nov 30, 2020Nov 30, 2020
    • 👾 PoC repository for luet based OS
      Shell
      GNU General Public License v3.0
      2000Updated Nov 18, 2020Nov 18, 2020
    • funtoo-base-arm64
      Dockerfile
      GNU General Public License v2.0
      0000Updated Nov 18, 2020Nov 18, 2020
    • gentoo-pi

      Public
      A script to install Gentoo on a Raspberry Pi 2/3.
      Shell
      BSD 3-Clause "New" or "Revised" License
      2010Updated Nov 15, 2020Nov 15, 2020
    • RPi4

      Public
      Raspberry Pi 4 UEFI Firmware Images [EXPERIMENTAL]
      Shell
      Other
      143000Updated Nov 13, 2020Nov 13, 2020
    • tinderbox

      Public
      Gentoo Linux build bot
      Shell
      GNU General Public License v3.0
      7000Updated Nov 12, 2020Nov 12, 2020
    • 🍭 Mocaccino extra repository
      Shell
      MIT License
      5000Updated Nov 12, 2020Nov 12, 2020
    • Gentoo overlay for the Pinebook Pro
      Shell
      4000Updated Nov 12, 2020Nov 12, 2020
    • ci

      Public
      🎼 CI scripts and pipelines to release MocaccinoOS variants (ISO, images, etc.)
      Shell
      7000Updated Nov 11, 2020Nov 11, 2020
    • Mocaccino OS Overlay for Gentoo Portage
      Shell
      2000Updated Nov 11, 2020Nov 11, 2020
    • 🌌 Mocaccino Musl LFS Universe repository
      Go
      2000Updated Nov 11, 2020Nov 11, 2020
    • desktop

      Public
      💻 Mocaccino Desktop specs
      Shell
      MIT License
      8000Updated Nov 11, 2020Nov 11, 2020
    • 🌳 Experimental luet tree
      Shell
      2000Updated Nov 4, 2020Nov 4, 2020
    • pinnify

      Public
      A simple, templated script to create PINN-compatible compressed tarballs and metadata from an OS disk image
      Shell
      GNU General Public License v3.0
      6000Updated Oct 31, 2020Oct 31, 2020
    • GUI editor for /boot/config.txt on RPi3 and RPi4 SBCs
      Python
      GNU General Public License v3.0
      5000Updated Oct 31, 2020Oct 31, 2020
    • emtee

      Public
      A faster-startup @world updater for Gentoo Linux
      Shell
      GNU General Public License v3.0
      8000Updated Oct 31, 2020Oct 31, 2020
    • Utility to facilitate the building and installation of EFI secure boot kernels under Gentoo Linux.
      Shell
      GNU General Public License v3.0
      61000Updated Oct 31, 2020Oct 31, 2020
    • 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
      Shell
      GNU General Public License v3.0
      126000Updated Oct 31, 2020Oct 31, 2020
    • Automated weekly build of the default branch 64-bit bcm2711_defconfig (+ tweaks) Linux kernel for the RPi4
      Shell
      GNU General Public License v2.0
      6000Updated Oct 6, 2020Oct 6, 2020
    • Automated weekly build of the default branch 64-bit bcm2711_defconfig Linux kernel for the Raspberry Pi 4
      GNU General Public License v2.0
      6000Updated Oct 6, 2020Oct 6, 2020
    • Automated weekly build of the default branch 64-bit bcmrpi3_defconfig (+ tweaks) Linux kernel for the RPi3 B / B+
      Shell
      GNU General Public License v2.0
      7000Updated Oct 6, 2020Oct 6, 2020
    • A collection of scripts to prepare a Gentoo tarball for the pinebook pro
      Shell
      8000Updated Sep 30, 2020Sep 30, 2020