NixOS Wiki

NixOS on ARM: Difference between revisions

← Older editNewer edit →
VisualWikitext
imported>Samueldr
imported>Samueldr
Line 68: Line 68:
|-
|-
| NVIDIA
| NVIDIA
| Jetson TK1
| [[NixOS_on_ARM/Jetson TK1|Jetson TK1]]
| Tegra K1/T124
| Tegra K1/T124
| ARMv7
| 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.
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.
=== Jetson TK1 ===
The proprietary NVIDIA bootloader can only boot NVIDIA's L4T kernel, so it needs to be replaced by flashing U-Boot on the board's eMMC via the recovery USB port. The easiest way to do that is to use tegra-uboot-flasher-scripts, though unfortunately that's currently not packaged in NixOS. Once U-Boot is flashed, the ARMv7 image will boot out-of-the-box.


=== pcDuino 3 Nano ===
=== pcDuino 3 Nano ===
Line 232: Line 228:


Only serial console (via the 6-pin FTDI pin header) is supported.
Only serial console (via the 6-pin FTDI pin header) is supported.
=== Jetson TK1 ===
Only serial console (via the DB-9 connector) is supported.


=== pcDuino 3 Nano ===
=== pcDuino 3 Nano ===
Retrieved from "https://wiki.nixos.org/wiki/NixOS_on_ARM"