Difference between revisions of "NixOS on ARM/Jetson TK1"

From NixOS Wiki
Jump to: navigation, search
m (Adds breadcrumb)
m (rollback unauthorized mass edits)
Tag: Rollback
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{ARM/breadcrumb}}
+
This page has been moved to the official NixOS Wiki:
<div class="infobox">
 
{|class="table"
 
!colspan="2" class="title"|Jetson TK1
 
|-
 
!Architecture
 
|ARMv7
 
|}
 
</div>
 
<!-- TODO : write intro paragraph -->
 
== Status ==
 
  
'''@dezgeg''''s porting efforts to ARMv7 should work.
+
    ⇒ '''[https://wiki.nixos.org/wiki/NixOS_on_ARM/Jetson_TK1 NixOS on ARM/Jetson TK1]'''
  
== Board-specific installation notes ==
+
''— samueldr, Lead of NixOS on ARM.''
 
 
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 [[NixOS_on_ARM#Installation|generic installation steps]].
 
 
 
Finally, install using the [[NixOS_on_ARM#NixOS_installation_.26_configuration|installation and configuration steps]].
 
 
 
== Serial console==
 
 
 
{{expansion|The exact <code>console</code> parameter is needed.}}
 
 
 
== Notes about the boot process ==
 
 
 
Only serial console (via the DB-9 connector) is supported.
 

Latest revision as of 10:56, 6 April 2024

This page has been moved to the official NixOS Wiki:

    ⇒ NixOS on ARM/Jetson TK1

— samueldr, Lead of NixOS on ARM.