I am installing nixos on a laptop. I followed the nixos-help
documentation for both MRB and UEFI boot. In both case, the
nixos-install finished successfully.
Howver when comes the reboot, after something about PXE, a message says
"BootDevice not found, please install an operating system on your hard
I will read stuff about PXE, UEFI, MBR and EFI but in the meantime,
maybe someone has an idea.