Comments by "" (@davidak_de) on "NixOS dual booting and UEFI" video.