NixOS on ARM/Jetson TK1
Appearance
Jetson TK1 | |
---|---|
Architecture | ARMv7 |
Status
⏲︎︎
This article or section is outdated. Section refers to old user-provided images. Should be reviewed with cross-compilation, or native compilation through userspace emulation. Further information might be found in the corresponding discussion. Please remove this notice once the information has been updated.
@dezgeg's porting efforts to ARMv7 should work.
Board-specific installation notes
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.
To get the ARMv7 image, follow the generic installation steps.
Finally, install using the installation and configuration steps.
Serial console
☶︎
This article or section needs to be expanded. Further information may be found in the related discussion page. Please consult the pedia article metapage for guidelines on contributing.
Notes about the boot process
Only serial console (via the DB-9 connector) is supported.