You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thomas Kerber d572be9b8f
Fix kernel patches.
2 weeks ago
firmware firmware: Add missing firmware for bluetooth 1 year ago
kernel Fix kernel patches. 2 weeks ago
keyboard-updater Adds revised keyboard firmware with fixes 1 year ago
nixos Prefer tty0 console 1 year ago
sound Enable right speaker in reset script 11 months ago
u-boot u-boot: whatever -> v2020.07 7 months ago
.gitignore initial commit 1 year ago Adds revised keyboard firmware with fixes 1 year ago Now track unstable 7 months ago
configuration.nix Prefer "external booting" u-boot by default. 1 year ago
cross-hacks.nix Add workaround for smartmontools cross-compilation regression 5 months ago
default.nix default.nix: Build with <nixpkgs> 7 months ago
overlay.nix linux_pinebookpro_lts: Init at 5.4 7 months ago
pinebook_pro.nix libinput/udev quirks from Manjaro/elementaryOS 6 months ago
system.nix Adds (incomplete) system image build 1 year ago
with-cross.nix Adds (incomplete) system image build 1 year ago

WIP stuff to get started on the pinebook pro.

Using in your configuration

Clone this repository somwhere, and in your configuration.nix

  imports = [

That entry point will try to stay unopinionated, while maximizing the hardware compatibility.



  • X11 with modesetting
  • Wi-Fi
  • Brightness controls
  • Speaker output


  • Bluetooth

Known issues

  • Suspend (or resume) fails.


The backlight can be controlled using light (programs.light.enable).

Image build

$ ./
$ lsblk /dev/mmcblk0 && sudo dd if=$(echo result/sd-image/*.img) of=/dev/mmcblk0 bs=8M oflag=direct status=progress

The script transmits parameters to nix-build, so e.g. -j0 can be used.

Once built, this image is self-sufficient, meaning that it should already be booting, no need burn u-boot to it.

The required modules (and maybe a bit more) are present in stage-1 so the display should start early enough in the boot process.

The LED should start up with the amber colour ASAP with this u-boot configuration, as a way to show activity early. The kernel should set it to green as soon as it can.

Note about cross-compilation

This will automatically detect the need for cross-compiling or not.

When cross-compiled, all caveats apply. Here this mainly means that the kernel will need to be re-compiled on the device on the first nixos-rebuild switch, while most other packages can be fetched from the cache.


Assuming /dev/mmcblk0 is an SD card.

$ nix-build -A pkgs.uBootPinebookPro
$ lsblk /dev/mmcblk0 && sudo dd if=result/idbloader.img of=/dev/mmcblk0 bs=512 seek=64 oflag=direct,sync && sudo dd if=result/u-boot.itb of=/dev/mmcblk0 bs=512 seek=16384 oflag=direct,sync

The eMMC has to be zeroed (in the relevant sectors) or else the RK3399 will use the eMMC as a boot device first.

Alternatively, this u-boot can be installed to the eMMC.

Installing to SPI has yet to be investigated.

Updating eMMC u-boot from NixOS

Caution: this could render your system unbootable. Do this when you are in a situation where you can debug and fix the system if this happens. With this said, it should be safe enough.

$ nix-build -A pkgs.uBootPinebookPro
$ lsblk /dev/disk/by-path/platform-fe330000.sdhci && sudo dd if=result/idbloader.img of=/dev/disk/by-path/platform-fe330000.sdhci bs=512 seek=64 oflag=direct,sync && sudo dd if=result/u-boot.itb of=/dev/disk/by-path/platform-fe330000.sdhci bs=512 seek=16384 oflag=direct,sync

Alternative boot order

If you rather USB and SD card is tried before the eMMC, pkgs.uBootPinebookProExternalFirst can be installed, which has an alternative patch set added on top that will change the boot order.

The SD image is built using the "alternative boot order" u-boot. Thus, flashing the image to your eMMC keeps external devices bootable.

Keyboard firmware

 $ nix-build -A pkgs.pinebookpro-keyboard-updater
 $ sudo ./result/bin/updater step-1 <iso|ansi>
 $ sudo poweroff
 # ...
 $ sudo ./result/bin/updater step-2 <iso|ansi>
 $ sudo poweroff
 # ...
 $ sudo ./result/bin/updater flash-kb-revised <iso|ansi>

Note: poweroff must be used, reboot does not turn the hardware "off" enough.