NixOS on ARM: Difference between revisions

Line 60:

|-

| Linksprite

| pcDuino3 Nano

| [[NixOS_on_ARM/PcDuino3_Nano|pcDuino3 Nano]]

| Allwinner A20

| ARMv7

Line 143:

In case there is a valid boot loader on the eMMC of the board and the NixOS U-Boot isn't getting launched, try holding the button labeled 'S2' when resetting the board. Also the boot ROM might have a size limitation on the microSD cards used for booting; the author wasn't able to get a 64 GB SDXC card working but a 8 GB SDHC card worked.

~~=== pcDuino 3 Nano ===~~

U-Boot needs to be copied to specific sectors on the microSD card with dd. Download U-Boot for the board (<code>uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin</code>), and copy it to the correct location with (again, replace <code>/dev/sdX</code> with the correct path to the SD card device):

~~<syntaxhighlight lang="bash">sudo dd if=uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin of=/dev/sdX bs=1024 seek=8</syntaxhighlight>~~

== Enable UART ==

Line 228:

Line 222:

Only serial console (via the 6-pin FTDI pin header) is supported.

~~=== pcDuino 3 Nano ===~~

~~USB keyboards and HDMI displays work perfectly. Also a 3.3v serial port via the 3-pin header works.~~

== Porting NixOS to new boards ==

@@ Line 60: / Line 60: @@
 |-
 | Linksprite
-| pcDuino3 Nano
+| [[NixOS_on_ARM/PcDuino3_Nano|pcDuino3 Nano]]
 | Allwinner A20
 | ARMv7
@@ Line 143: / Line 143: @@
 In case there is a valid boot loader on the eMMC of the board and the NixOS U-Boot isn't getting launched, try holding the button labeled 'S2' when resetting the board. Also the boot ROM might have a size limitation on the microSD cards used for booting; the author wasn't able to get a 64 GB SDXC card working but a 8 GB SDHC card worked.
-=== pcDuino 3 Nano ===
-U-Boot needs to be copied to specific sectors on the microSD card with dd. Download U-Boot for the board (<code>uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin</code>), and copy it to the correct location with (again, replace <code>/dev/sdX</code> with the correct path to the SD card device):
-<syntaxhighlight lang="bash">sudo dd if=uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin of=/dev/sdX bs=1024 seek=8</syntaxhighlight>
 == Enable UART ==
@@ Line 228: / Line 222: @@
 Only serial console (via the 6-pin FTDI pin header) is supported.
-=== pcDuino 3 Nano ===
-USB keyboards and HDMI displays work perfectly. Also a 3.3v serial port via the 3-pin header works.
 == Porting NixOS to new boards ==