NixOS on ARM: Difference between revisions
imported>Dezgeg |
imported>Dezgeg Document Wandboard |
||
| Line 47: | Line 47: | ||
| 1 GB | | 1 GB | ||
| SD/microSD | | SD/microSD | ||
|- | |||
| Wandboard | |||
| Wandboard Solo/Dual/Quad | |||
| Freescale i.MX6 | |||
| ARMv7 | |||
| 1x/2x/4x Cortex-A9 @ 1000 MHz | |||
| 512 M / 1 GB / 2 GB | |||
| microSD, SATA | |||
|} | |} | ||
| Line 70: | Line 78: | ||
=== pcDuino 3 Nano === | === pcDuino 3 Nano === | ||
U-Boot needs to be copied to the microSD card with dd, with parameters bs=1024 seek=8. Download U-Boot for the board (uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin), and copy it to the correct location with ( | U-Boot needs to be copied to the microSD card with dd, with parameters bs=1024 seek=8. Download U-Boot for the board (uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin), and copy it to the correct location with (replace /dev/sdX 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> | |||
=== Raspberry Pi (1) === | === Raspberry Pi (1) === | ||
| Line 80: | Line 89: | ||
The ARMv7 image should boot out-of-the-box, though the author hasn't personally tested this. | The ARMv7 image should boot out-of-the-box, though the author hasn't personally tested this. | ||
=== Wandboard === | |||
U-Boot and its SPL need to be copied to the microSD card with dd. Download U-Boot + SPL for the board (uboot-wandboard_defconfig-2017.03_u-boot.img, uboot-wandboard_defconfig-2017.03_SPL), and copy it to the correct location with (replace /dev/sdX with the correct path to the SD card device): | |||
<syntaxhighlight lang="bash"> | |||
sudo dd if=uboot-wandboard_defconfig-2017.03_SPL of=/dev/sdX seek=1 bs=1k | |||
sudo dd if=uboot-wandboard_defconfig-2017.03_u-boot.img of=/dev/sdX seek=69 bs=1k | |||
</syntaxhighlight> | |||
Only the Quad model has been tested, but the others should work as well with the same U-Boot binary. | |||
== NixOS installation & configuration == | == NixOS installation & configuration == | ||
| Line 142: | Line 162: | ||
Using the 3.3v serial port via the pin headers (exact location depends on hardware version) should also work. | Using the 3.3v serial port via the pin headers (exact location depends on hardware version) should also work. | ||
=== Wandboard === | |||
Only serial console (via the DB-9 connector) is supported. | |||
== Porting NixOS to new boards == | == Porting NixOS to new boards == | ||