85cbf2e6e7
@volth tells me that is the default for `system.boot.loader.kernelFile` anyways. |
||
---|---|---|
.. | ||
cd-dvd | ||
netboot | ||
scan | ||
tools | ||
virtualbox-demo.nix |
85cbf2e6e7
@volth tells me that is the default for `system.boot.loader.kernelFile` anyways. |
||
---|---|---|
.. | ||
cd-dvd | ||
netboot | ||
scan | ||
tools | ||
virtualbox-demo.nix |