NixOS on ARM/Raspberry Pi: Difference between revisions
imported>Bct boot.loader.generic-extlinux-compatible vs. boot.loader.raspberryPi |
imported>Bct Kernel selection |
||
| Line 297: | Line 297: | ||
| AArch64 | | AArch64 | ||
|} | |} | ||
== Kernel selection == | |||
By default NixOS uses the official Linux kernel released by kernel.org (a "mainline" kernel, e.g. <code>pkgs.linuxPackages</code>). This works fine on a Raspberry Pi, and is the better-tested option. | |||
It is also possible to use a kernel released by the Raspberry Pi Foundation (a "vendor" kernel, e.g. <code>pkgs.linuxPackages_rpi3</code>). This may be preferable if you're using an add-on board that the mainline kernel does not have drivers for. | |||
You can select your kernel by setting <code>boot.kernelPackages</code>. | |||
== Notes about the boot process == | == Notes about the boot process == | ||