NixOS on ARM/UEFI: Difference between revisions
imported>Samueldr m Tested systemd-boot, documents grub |
imported>Samueldr m Add note about device trees |
||
| Line 79: | Line 79: | ||
} | } | ||
</syntaxhighlight> | </syntaxhighlight> | ||
== Known issues == | |||
=== Device Trees === | |||
As of right now, there is no consensus within Linux distros about the topic of managing device trees for the boot process with UEFI. | |||
This current setup relies on the initial boot firmware providing an appropriate device tree for the kernel that will run. | |||
With ''U-Boot'', it is possible to make it load a device tree, for example a more up-to-date one, by placing the dtb folder from a kernel build output at the <code>/dtb</code> location in the ESP. ''U-Boot'' will automatically load a device tree according to heuristics, which should be the right one. | |||
It is unknown how much of an actual issue this is in practice. | |||