NixOS on ARM: Difference between revisions
m →Details about the boot process: reword |
|||
| (4 intermediate revisions by one other user not shown) | |||
| Line 65: | Line 65: | ||
--> | --> | ||
<div class="table"> | <div class="table"> | ||
{|class="table" | {| class="sortable table" | ||
!width="2%"| Manufacturer | !width="2%"| Manufacturer | ||
!width="2%"| Board | !width="2%"| Board | ||
| Line 83: | Line 83: | ||
|- | |- | ||
| ASUS | | ASUS | ||
| [[NixOS_on_ARM/Tinker Board|Tinker Board]] | | [[NixOS_on_ARM/ASUS Tinker Board|Tinker Board]] | ||
| Rockchip RK3288 | | Rockchip RK3288 | ||
| ARMv7 | | ARMv7 | ||
| Line 101: | Line 101: | ||
| [[NixOS_on_ARM/Banana Pi M64|Banana Pi M64]] | | [[NixOS_on_ARM/Banana Pi M64|Banana Pi M64]] | ||
| Allwinner A64 | | Allwinner A64 | ||
| | | AArch64 | ||
| 4× Cortex-A53 | | 4× Cortex-A53 | ||
| 2 GB | | 2 GB | ||
| Line 109: | Line 109: | ||
| [[NixOS_on_ARM/Banana Pi BPI-M5|Banana Pi BPI-M5]] | | [[NixOS_on_ARM/Banana Pi BPI-M5|Banana Pi BPI-M5]] | ||
| Amlogic S905X3 | | Amlogic S905X3 | ||
| | | AArch64 | ||
| 4× Cortex-A55 | | 4× Cortex-A55 | ||
| 4 GB LPDDR4 | | 4 GB LPDDR4 | ||
| Line 456: | Line 456: | ||
{{main|NixOS_on_ARM/Installation}} | {{main|NixOS_on_ARM/Installation}} | ||
== | == Initial configuration == | ||
{{main|NixOS_on_ARM/Initial_Configuration}} | {{main|NixOS_on_ARM/Initial_Configuration}} | ||
| Line 481: | Line 481: | ||
=== Details about the boot process === | === Details about the boot process === | ||
NixOS can also be booted through [[NixOS on ARM/UEFI|UEFI]] on ARM. The semantics are generally the same as on other architectures. Do note that the common use of Device Tree instead of ACPI in consumer-class hardware ''may'' make this a bit more awkward. | NixOS can also be booted through [[NixOS on ARM/UEFI|UEFI]] on ARM. The semantics are generally the same as on other architectures. Do note that the common use of Device Tree instead of ACPI in consumer-class hardware [[NixOS_on_ARM/UEFI#Device_Trees|''may'' make this a bit more awkward]]. | ||
Otherwise, in SBC-class hardware, it is common that boards are generally expected to use U-Boot as the platform firmware and bootloader. See the section about [[U-Boot#Using NixOS with U-Boot|using NixOS with U-Boot]]. | Otherwise, in SBC-class hardware, it is common that boards are generally expected to use U-Boot as the platform firmware and bootloader. See the section about [[U-Boot#Using NixOS with U-Boot|using NixOS with U-Boot]]. | ||