[Nix-dev] uefi booting on nixos

[Mathijs Kwik]

Hi Shea,

I saw your commits dealing with uefi booting.
On my laptop, windows 7 boots fine from uefi.
However, linux doesn't. Grub-uefi boots, but something goes wrong
(memory mapping) when handig control to the kernel.
In the past, I've spent countless hours debugging it to no avail.

I would like to give it another try someday soon.
Do you consider your uefi changes somewhat complete? Or do you still
have more changes planned?

Anyway, thanks for your work.

Mathijs