NixOS on ARM/Jetson TK1: Difference between revisions

From NixOS Wiki
imported>Samueldr
m Adds breadcrumb
imported>Samueldr
Add note about content being out-of-date
 
Line 10: Line 10:
<!-- TODO : write intro paragraph -->
<!-- TODO : write intro paragraph -->
== Status ==
== 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 should work.
'''@dezgeg''''s porting efforts to ARMv7 should work.

Latest revision as of 22:17, 26 December 2021

Jetson TK1
Architecture ARMv7

Status

@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

Notes about the boot process

Only serial console (via the DB-9 connector) is supported.