NixOS on ARM/Raspberry Pi: Difference between revisions
imported>Ertw mNo edit summary |
imported>Samueldr m Add notes about kernel 5.4 possibly having video issues |
||
| Line 126: | Line 126: | ||
} | } | ||
</syntaxhighlight> | </syntaxhighlight> | ||
==== HDMI output issue with kernel 5.4 (NixOS 20.03 or NixOS unstable) ==== | |||
(Unverified for 5.5 or 5.6) | |||
Some users have reported that the 5.4 kernel "hung at Starting kernel..." {{issue|82455}}. In all cases where it was possible to investigate, it was found that the device did boot, but that the HDMI out didn't function as expected. | |||
It looks like it may be a setup-dependent issue, as a 20.03 image with 5.4 was verified as working. | |||
If your setup is having the issue, first report on {{issue|82455}} with the Raspberry Pi model (important to note whether it is a plus or non-plus) and the kind of display used with the HDMI out, including whether it is using adapters or not. | |||
Then, you can work around the issue by configuring your system to use the 4.19 kernel (previous LTS) using one of the following tricks. | |||
# Use the serial console to configure the system, and <code>nixos-rebuild boot</code> it. | |||
# Use a 19.09 image, specify the kernel in its configuration and upgrade to 20.03 | |||
# Boot the image, poweroff blindly using a keyboard, edit on another computer <code>/home/nixos/.ssh/authorized_keys</code> from the SD to add your key file, chmod as 600, unmount, boot the Raspberry Pi and find it on your network by some means. | |||
<syntaxHighlight> | |||
{ | |||
boot.kernelPackages = pkgs.linuxPackages_4_19; | |||
} | |||
</syntaxHighlight> | |||
=== Raspberry Pi 4B === | === Raspberry Pi 4B === | ||