1. If you are not running the build on a system that has Nix, install Nix (see https://nixos.org/download.html).
   
2. Clone https://github.com/samueldr/wip-pinebook-pro
   
3. Edit both build.sh and default.nix, and replace 19.09 with 20.03. 20.03 is the current stable channel, and it should work better based on conversations in the project's GitHub issues.
   
4. If you are on Manjaro (and maybe other distros?) edit build.sh and change nix-build to $(which nix-build). (Thanks to acsid's fork https://github.com/acsid/wip-pinebook-pro/commit/6aacb6ce065ab8792554e950dd0c279f71a0b6cf)
   
5. Run build.nix to build it. Kernel build may take a long time, probably hours.
   
6. Copy the wip-pinebook-pro folder to some storage media (ideally a thumb drive) in case you mess up, so you don't have to build everything again.
   
7. Install:
   

• For SD install: use the dd command below, but make sure you are using the right /dev/mmcblk*. For me this was /dev/mmcblk1.
  
• For install to eMMC with USB adapter: use the dd command below, but change /dev/mmcblk0 to the location of your USB adapter. (Not tested but this should work.)
  
• For install to internal eMMC without adapter: first perform the SD install, then reboot into your new NixOS install on the SD card. Then see steps in the next section below.
  

1. Mount the storage media where you saved the wip-pinebook-pro folder.
   
2. Run the dd command above, but change /dev/mmcblk0 to the correct device. For me this was /dev/mmcblk2.
   
3. Shutdown, eject the SD card, and reboot.
   

1. Set up networking. For wireless, you can do this by creating /etc/wpa_supplicant.conf with the proper setup and then run "sudo systemctl start wpa_supplicant.service". Ethernet may just work with a USB adapter, but I have not tested this.
   
2. Clone https://github.com/samueldr/wip-pinebook-pro. You can pull down the repo using curl or run "nix-shell -p gitMinimal" to temporarily acquire git.
   
3. Edit both build.sh and default.nix, and replace 19.09 with 20.03. 20.03 is the current stable channel, and it should work better based on conversations in the project's GitHub issues.
   
4. Run build.nix to build it. Kernel build may take a long time, probably hours.
   
5. Run the dd command from above, but change /dev/mmcblk0 to the correct device. For me this was /dev/mmcblk2.
   
6. Shutdown, eject the SD card, and reboot.
   

1. Once you can boot, you will need configuration files before you can use nixos-rebuild. Run "nixos-generate-config" to get a starter /etc/nixos/configuration.nix and /etc/nixos/hardware-configuration.nix.
   
2. Make your configuration. An example is here: https://github.com/tgunnoe/configurations/blob/master/machines/pinebook-pro/configuration.nix. START SIMPLE. I would leave out anything graphical to start with, you just want to be able to rebuild your kernel and reboot. I may post a followup basic config later. Don't forget to include a reference to the wip-pinebook-pro patches, either using tgunnoe's method (linked) or by cloning the repo locally and referencing it in your imports section as in the repo's README.
   
3. Set up networking. For wireless, you can do this by creating /etc/wpa_supplicant.conf with the proper setup and then run "sudo systemctl start wpa_supplicant.service". Ethernet may just work with a USB adapter, but I have not tested this. Make sure you also set networking options in your configuration.nix so you will have a functional connection after you rebuild!
   
4. Run "nix-channel --update" to update your channel.
   
5. Run "nixos-rebuild boot --update". This should pull down everything and rebuild everything.
   

(07-01-2020, 06:48 PM)_hg_ Wrote:

1. Before building, make sure you are on the right channel with "nix-channel --list". I wanted 20.03 but was on unstable, so I had to run "nix-channel --add https://channels.nixos.org/nixos-20.03" followed by "nix-channel --update".
   

(07-03-2020, 07:27 AM)_hg_ Wrote: Good point, I'll take out that step. I made a lot of mistakes throughout the process and tried a lot of things to fix the problem, that one may not have been needed.

I actually tried nixos-install from the SD card but couldn't get it to work. I deleted the Manjaro partition, repartitioned as ext4 with an 8 GB swap partition, and installed to the now empty partition. I rebooted, and no luck (kernel panic). From the SD card, I then tried "nix-build -A pkgs.uBootPinebookPro" as the README says and installed that to the eMMC. Again no luck. I then used nix-os enter to go into the partition, ran nixos-generate-config and put together a basic config while including the wip-pinebook-pro overlays, ran nixos-rebuild, then rebooted. Still broken. At this point I was about ready to give up, so I tried building the SD image from the SD card and flashing to the eMMC, and that worked.

Who knows what I was doing wrong, I'm just glad I got it working in the end!