NixOS on ARM/ASUS Tinker Board: Difference between revisions
imported>Samueldr m Clarifies who to contact in the intro paragraph. |
imported>Tomberek No edit summary |
||
Line 35: | Line 35: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
It turns out that getting into U-Boot using the TinkerOS image, halting the boot process, replacing SD cards with the NixOS image fails, but the error message suggests the extlinux merely has a different name for the DTB than NixOS has packaged. Simply copy from the nixos dtb file `/boot/nixos/<hash>-dtbs/rk3288-tinker.dtb` to `rockchip-tinker_rk3288.dtb` | It turns out that getting into U-Boot using the TinkerOS image, halting the boot process, replacing SD cards with the NixOS image fails, but the error message suggests the extlinux merely has a different name for the DTB than NixOS has packaged. Simply copy from the nixos dtb file `/boot/nixos/<hash>-dtbs/rk3288-tinker.dtb` to `rockchip-tinker_rk3288.dtb`. | ||
Then, install using the [[NixOS_on_ARM#NixOS_installation_.26_configuration|installation and configuration steps]]. | Then, install using the [[NixOS_on_ARM#NixOS_installation_.26_configuration|installation and configuration steps]]. |