This overlay intends to provide all tools, open and proprietary, for the ROC-RK3399-PC.
Here's an example invocation for building one of the aarch64 bits:
$ nix-build -A pkgsCross.aarch64-multiplatform.ROC-RK3399-PC.firmware
$ nix-build -A pkgsCross.aarch64-multiplatform.AIO-3399C.firmware
combined.img
- directly flash onto sd-card to get boot-loader supportidbloader.img
- proprietary first bootloader for rockchip, at the front of the emmcu-boot.img
- aligned uboot image for the uboot partition on the emmctrust.img
- arm trusted boot image for rk3399 for the trusted partition