mirror of
https://github.com/samueldr/wip-pinebook-pro.git
synced 2024-11-23 11:29:43 +01:00
Work of samueldr to run NixOS on the Pine64 Pinebook Pro
kernel | ||
u-boot | ||
.gitignore | ||
build.sh | ||
configuration.nix | ||
cross-hacks.nix | ||
default.nix | ||
overlay.nix | ||
README.md | ||
system.nix | ||
with-cross.nix |
WIP stuff to get started on the pinebook pro.
u-boot
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.
Image build
$ ./build.sh
$ dd if=result/sd-image/nixos-sd-image-19.09.1778.db3e8325a9b-aarch64-linux.img of=/dev/mmcblk0 bs=8M oflag=direct
The build.sh
script transmits parameters to nix-build
, so e.g. -j0
can be used.