|
|
(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