NixOS on ARM/Radxa ROCK 4: Difference between revisions

m Bootloader Firmware: The WYSIWYG editor mangled things very badly. Just adding line breaks :)
System configuration: specifying the directions in this section are for nixos-rockchip
Line 51: Line 51:
=== U-Boot Firmware ===
=== U-Boot Firmware ===


* `nixos-rockchip` uses the mainline U-Boot repository.
* <code>nixos-rockchip</code> uses the mainline U-Boot repository.
* As an alternative for using nixos-rockchip, There is also support for ROCK 4 U-Boot in Nixpkgs.  
* As an alternative for using nixos-rockchip, There is also support for ROCK 4 U-Boot in Nixpkgs.  
This build of u-boot is built using the defconfig from u-boot's repositories, so it should be equivalent to 'stock' u-boot, but be aware there may be unknown differences, as it has not been thoroughly tested. The following command will build the u-boot bootloader with Nix on a non-aarch64 system, and output its path as a 'result' symlink in the current directory:  
This build of u-boot is built using the defconfig from u-boot's repositories, so it should be equivalent to 'stock' u-boot, but be aware there may be unknown differences, as it has not been thoroughly tested. The following command will build the u-boot bootloader with Nix on a non-aarch64 system, and output its path as a 'result' symlink in the current directory:  
Line 68: Line 68:


== System configuration ==
== System configuration ==
The following directions are for usage with <code>nixos-rockchip</code>.


Use the instructions in the [https://github.com/nabam/nixos-rockchip/blob/main/README.md README].
Use the instructions in the [https://github.com/nabam/nixos-rockchip/blob/main/README.md README].