NixOS on ARM/Raspberry Pi 4: Difference between revisions

Line 44:

Note that the Raspberry Pi 4 has two HDMI outputs, and apparently sometimes the user prompt for the console/TTY is displayed on HDMI 1 while the boot process is displayed on HDMI 0 (this may even [https://raspberrypi.stackexchange.com/a/112071/149250 be the case] with the official (non NixOs) non-graphical lite image). So if after the message "Welcome on NixOs" at the end of phase 2 your screen goes black/disconnects, try to use the other HDMI port. See the related bug [https://github.com/NixOS/nixpkgs/issues/179701 here].}}

=== ~~Configuration~~ ===

=== 配置 ===

~~Using <code>nixos~~-generate-~~config</code> will generate the required minimal configuration.~~

使用nixos-generate-config将生成所需的最小配置。

Raspberry Pi 4 is well-supported on modern kernels. However, if you encounter issues with GPU support or other deviceTree quirks, you may wish to add the nixos-hardware channel:

Raspberry Pi 4在现代内核上得到了很好的支持。但是，如果您遇到GPU支持或其他deviceTree怪癖的问题，您可能希望添加nixos硬件通道：Raspberry Pi 4 is well-supported on modern kernels. However, if you encounter issues with GPU support or other deviceTree quirks, you may wish to add the nixos-hardware channel:

<code>

@@ Line 44: / Line 44: @@
 Note that the Raspberry Pi 4 has two HDMI outputs, and apparently sometimes the user prompt for the console/TTY is displayed on HDMI 1 while the boot process is displayed on HDMI 0 (this may even [https://raspberrypi.stackexchange.com/a/112071/149250 be the case] with the official (non NixOs) non-graphical lite image). So if after the message "Welcome on NixOs" at the end of phase 2 your screen goes black/disconnects, try to use the other HDMI port. See the related bug [https://github.com/NixOS/nixpkgs/issues/179701 here].}}
-=== Configuration ===
+=== 配置 ===
-Using <code>nixos-generate-config</code> will generate the required minimal configuration.
+使用nixos-generate-config将生成所需的最小配置。
-Raspberry Pi 4 is well-supported on modern kernels. However, if you encounter issues with GPU support or other deviceTree quirks, you may wish to add the nixos-hardware channel:
+Raspberry Pi 4在现代内核上得到了很好的支持。但是，如果您遇到GPU支持或其他deviceTree怪癖的问题，您可能希望添加nixos硬件通道：Raspberry Pi 4 is well-supported on modern kernels. However, if you encounter issues with GPU support or other deviceTree quirks, you may wish to add the nixos-hardware channel:
 <code>