Translations:NixOS on ARM/42/en

• U-Boot, as it is often paired with SBC-class hardware.
• Mobile NixOS, which provides enhanced semantic around some non-standard boot semantics.