Difference between revisions of "NixOS on ARM/Raspberry Pi"

From NixOS Wiki
Jump to: navigation, search
m (Finish(?) scrubbing device-specifics)
m (rollback unauthorized mass edits)
Tag: Rollback
 
(20 intermediate revisions by 12 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"|Raspberry Pi Family
 
|-
 
|colspan="2"|[[File:raspberry_pi_3_glamour.jpg|frameless|256px|A Raspberry Pi 3 with enclosure.]]
 
|-
 
!colspan="2" class="title"|Raspberry Pi
 
|-
 
!Architecture
 
|ARMv6
 
|-
 
!colspan="2" class="title"|Raspberry Pi 2
 
|-
 
!Architecture
 
|ARMv7
 
|-
 
!colspan="2" class="title"|Raspberry Pi 3
 
|-
 
!Architecture
 
|AArch64 + ARMv7
 
|-
 
!colspan="2" class="title"|Raspberry Pi 4
 
|-
 
!Architecture
 
|AArch64 + ARMv7
 
|}
 
</div>
 
The Raspberry Pi family of devices is a series of single-board computers made by the Raspberry Pi Foundation. They are all based on Broadcom System-on-a-chip (SOCs).
 
  
== Status ==
+
    ⇒ '''[https://wiki.nixos.org/wiki/NixOS_on_ARM/Raspberry_Pi NixOS on ARM/Raspberry Pi]'''
  
Only the ''Raspberry Pi 3 Family'' is supported upstream, with the AArch64 effort.
+
''— samueldr, Lead of NixOS on ARM.''
 
 
The Raspberry Pi 4B is not <em>supported</em> by NixOS, though a beta-quality disk image specific for it is produced. It will be supported the same as the Pi 3 family once the mainline kernel and mainline U-Boot boot fine through the generic mainline image.
 
 
 
Other Raspberry Pis (0, 1, and 2) are part of diverse community porting efforts to ARMv6 and ARMv7.
 
 
 
The Linux kernel in use, except for the Raspberry Pi 1 family, is the mainline Linux kernel, and not the Raspberry Pi Foundation's fork. This could reduce compatibility with some add-on boards or third-party libraries<sup>[expanded explanation needed]</sup>.
 
 
 
The following table is intended to be updated by the NixOS contributors with the current status of the boards. For a list of products, [https://www.raspberrypi.org/products/ see the ''Products Archive]''.
 
 
 
{|class="wikitable"
 
|-
 
! Board name
 
! Architecture
 
! Support
 
|-
 
!colspan="3" style="text-align: left;"|Raspberry Pi 1
 
|-
 
| Raspberry Pi 1 Model B
 
|rowspan="5" style="vertical-align: middle;"| armv6
 
| C
 
|-
 
| Raspberry Pi 1 Model A+
 
| C*
 
|-
 
| Raspberry Pi 1 Model B+
 
| C
 
|-
 
| Raspberry Pi Zero
 
| C*
 
|-
 
| Raspberry Pi Zero W
 
| C
 
|-
 
!colspan="3" style="text-align: left;"|Raspberry Pi 2
 
|-
 
| Raspberry Pi 2 Model B
 
| armv7
 
| C
 
|-
 
!colspan="3" style="text-align: left;"|Raspberry Pi 3
 
|-
 
| [[NixOS on ARM/Raspberry Pi 3|Raspberry Pi 3 Model B]]
 
|rowspan="3" style="vertical-align: middle;"| AArch64<br /> ''+ armv7''
 
| YES
 
|-
 
| [[NixOS on ARM/Raspberry Pi 3|Raspberry Pi 3 Model B+]]
 
| YES
 
|-
 
| [[NixOS on ARM/Raspberry Pi 3|Raspberry Pi 3 Model A+]]
 
| ?
 
|-
 
!colspan="3" style="text-align: left;"|Raspberry Pi 4
 
|-
 
| [[NixOS on ARM/Raspberry Pi 4|Raspberry Pi 4 Model B]]
 
| AArch64<br /> ''+ armv7''
 
| YES* ([https://github.com/NixOS/nixpkgs/issues/63720 GitHub issue])
 
|}
 
 
 
''Support''
 
* YES: Supported architecture by Nixpkgs downstream and tested to be working.
 
* YES*: Available in Nixpkgs downstream but experimental.
 
* C: Community supported, and tested to be working.
 
* C*: Community supported, unverified but should be working.
 
* ? : Unverified, unknown if it will work.
 
 
 
The Raspberry Pi 3 Family is only supported as '''AArch64'''. Use as armv7 is community supported.
 
 
 
== Board-specific installation notes ==
 
 
 
First follow the [[NixOS_on_ARM#Installation|generic installation steps]] to get the installer image and install using the [[NixOS_on_ARM#NixOS_installation_.26_configuration|installation and configuration steps]].
 
 
 
=== Raspberry Pi (1) ===
 
 
 
The ARMv6 image boots out-of-the-box.
 
 
 
=== Raspberry Pi 2 ===
 
 
 
The ARMv7 image should boot out-of-the-box, though the author hasn't personally tested this.
 
 
 
=== Raspberry Pi 3 / 3B+ ===
 
 
 
[[NixOS_on_ARM/Raspberry_Pi_3#Board-specific_installation_notes|Raspberry Pi 3#Board-specific installation notes]]
 
 
 
=== Raspberry Pi 4B ===
 
 
 
[[NixOS_on_ARM/Raspberry_Pi_4#Board-specific_installation_notes|Raspberry Pi 4#Board-specific installation notes]]
 
 
 
== Serial console==
 
 
 
Your <code>configuration.nix</code> will need to add <code>console=ttyS1,115200n8</code> to the <code>boot.kernelParams</code> configuration to use the serial console.
 
 
 
{{file|/etc/nixos/configuration.nix|nix|<nowiki>
 
{ config, pkgs, lib, ... }:
 
{
 
  boot.kernelParams = [
 
    "console=ttyS1,115200n8"
 
  ];
 
}
 
</nowiki>}}
 
If the Raspberry Pi downstream kernel is used the serial interface is named <code>serial0</code> instead.
 
 
 
== Binary Cache ==
 
 
 
Depending on the architecture used, binary caches availability varies. Binary caches instructions are on the main [[NixOS on ARM#Binary cache|NixOS on ARM]] page. The following table describes the architectures supported by each board.
 
 
 
{|class="wikitable"
 
|-
 
! Raspberry Pi 1
 
| armv6
 
|-
 
! Raspberry Pi 2
 
| armv7
 
|-
 
!rowspan="2" style="vertical-align: middle;"|Raspberry Pi 3
 
| armv7
 
|-
 
| AArch64
 
|-
 
!rowspan="2" style="vertical-align: middle;"|Raspberry Pi 4
 
| armv7
 
|-
 
| AArch64
 
|}
 
 
 
== Notes about the boot process ==
 
 
 
The custom bootloader, part of the Raspberry Pi firmware, is abstracted away for NixOS by making it boot U-Boot instead.
 
 
 
U-Boot gives us the ability to provide a generation selection menu during the boot process, in addition to storing the boot files on the main partition, rather than on the firmware partition.
 
 
 
=== Raspberry Pi (all versions) ===
 
 
 
USB keyboards and HDMI displays should work, though some issues have been reported (see Troubleshooting below).
 
 
 
Using the 3.3v serial port via the pin headers (exact location depends on hardware version) will get u-boot output and, when configured, a Linux kernel console.
 
 
 
== Troubleshooting ==
 
 
 
=== Power issues ===
 
 
 
Especially with the newer power-hungry Raspberry Pi families (3, 4), it is important to have a [https://www.raspberrypi.org/documentation/hardware/raspberrypi/power/README.md sufficient enough power supply] or ''weirdness'' may happen. Weirdness may include:
 
 
 
* Lightning bolt on HDMI output "breaking" the display.
 
* Screen switching back to u-boot text
 
** Fixable temporarily when power is sufficient by switching VT (alt+F2 / alt+F1)
 
* Random hangs
 
 
 
This problem is a hard problem. It is caused by the Raspberry Pi warning about power issues, but the current drivers (as of
 
Linux 4.14) have a hard time dealing with it properly. If the power supply is rated properly AND the cable is not incurring too much power losses, it may be required to disable the lightning bolt indicator so the display driver isn't messed up.<ref>https://logs.nix.samueldr.com/nixos/2017-12-20#1513784657-1513784714;</ref> The lightning bolt indicator can be disabled by adding the line <code>avoid_warnings=1</code> in config.txt<ref>https://www.raspberrypi.org/documentation/configuration/config-txt/README.md</ref>
 
 
 
{{note|A ''properly rated'' USB power supply, AND a good cable are necessary. The cable has to be short enough to not incur power losses through the length. Do note that thin and cheap cables usually have thinner copper wires, which in turn accentuates power losses.}}
 
 
 
===Additional Troubleshooting===
 
 
 
Additional troubleshooting information may be found [https://elinux.org/R-Pi_Troubleshooting at elinux.org].
 
 
 
<hr />
 

Latest revision as of 10:56, 6 April 2024

This page has been moved to the official NixOS Wiki:

    ⇒ NixOS on ARM/Raspberry Pi

— samueldr, Lead of NixOS on ARM.