NixOS on ARM/ASUS Tinker Board: Difference between revisions

(4 intermediate revisions by 2 users not shown)

Line 19:

== Status ==

{{outdated|Section refers to old user-provided images. Should be reviewed with cross-compilation, or native compilation through userspace emulation.}}

'''@dezgeg''''s porting efforts to ARMv7 works on the TinkerBoard, with some modification for u-boot and DTB paths. Support for this board is a work in progress. Please contact me ([[User:tomberek|@tomberek]]) for comments/thoughts/feedback/etc.

Line 35:

Line 37:

</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` ~~(possibly `rockchip-miniarm_rk3288.dtb`, TODO: examine U-Boot output to see what DTB it tries to read)~~.

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]].

Line 61:

Line 63:

* [[NixOS_on_ARM]]

* [https://www.asus.com/us/Single-Board-Computer/Tinker-Board/ Official ASUS website]

* Some more details [https://tomberek.info/posts/Nix/2018-03-27-Nix-on-Tinker-Board.html on tomberek's post about the Tinker Board]

@@ Line 19: / Line 19: @@
 <!-- Mosly copied from NixOS on Orange PC page -->
 == Status ==
+{{outdated|Section refers to old user-provided images. Should be reviewed with cross-compilation, or native compilation through userspace emulation.}}
 '''@dezgeg''''s porting efforts to ARMv7 works on the TinkerBoard, with some modification for u-boot and DTB paths. Support for this board is a work in progress. Please contact me ([[User:tomberek|@tomberek]]) for comments/thoughts/feedback/etc.
@@ Line 35: / Line 37: @@
 </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` (possibly `rockchip-miniarm_rk3288.dtb`, TODO: examine U-Boot output to see what DTB it tries to read).
+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]].
@@ Line 61: / Line 63: @@
 * [[NixOS_on_ARM]]
 * [https://www.asus.com/us/Single-Board-Computer/Tinker-Board/ Official ASUS website]
-* Some more details [https://tomberek.info/posts/Nix/2018-03-27-Nix-on-Tinker-Board.html on tomberek's post about the Tinker Board]