Start a new topic

Bootable 64-bit Gentoo Linux Image for the Pi-Top Released (Xfce4 Desktop)

Hello, if you would like to try running Gentoo Linux in 64-bit mode on your Pi-Top, you might like to have a look at the bootable image I've just released on GitHub (at - be sure to choose the 'genpi64pt.img.xz' version, as there is a vanilla RPi3 image available too). You can burn the image (~829MiB compressed) to a microSD card (>=8GB), then boot your Pi-Top from it directly (the root partition will be automatically resized to fill the card on first boot). It starts up into a graphical Xfce4 desktop - you don't have to compile or configure anything. Just download, write, and boot! The image comes with a reasonably complete set of pre-compiled apps (Xfce v4.12, LibreOffice v5.3.4.2, Firefox v53.0.3, Thunderbird v52.2.0, VLC v2.2.6, GIMP v2.9.4 etc.). WiFi and Bluetooth both work, as does sound (via onboard headphone jack, and over HDMI). VC4 acceleration is supported via the mixed-mode vc4-fkms-v3d device-tree overlay / kernel module / Mesa driver, and performance seems reasonable (glxgears 400-1200fps, real-time video playback). The kernel on the image is 4.10.17-v8 from raspberrypi/linux, in pure bcmrpi3_defconfig form. Courtesy of rricharz's work, the image also contains: * a patched xfce4-battery-plugin that queries the RPi3's battery over I2C (and displays a gauge in the panel); * working backlight brightness (communicates with the Pi-Top's controller hub over SPI) with keyboard shortcuts; * full poweroff on shutdown (ditto); and * support for playing HDMI audio via any installed pitopSPEAKER units (detected automatically). There's also a 64-bit version of Gordon Henderson's handy wiringpi library (and gpio utility) included on the image, as the above drivers need it to operate. My ebuilds used to create the image may be found at Full instructions for download and use of the image may be found on the project's main page, at Well, if you get a chance to try it out, please let me know how you get on! Have fun ^-^ sakaki PS for some interesting 64-bit vs 32-bit performance benchmarks on the RPi3, see Roy Longbottom's thread at
Login or Signup to post a comment