nixpkgs/modules/system/boot
2010-08-14 20:12:05 +00:00
..
kernel.nix * Add ext4 to the default initrd. 2010-08-10 10:12:18 +00:00
modprobe.nix * Fall back to the kernel modules used at boot time if the modules in 2010-01-26 21:45:13 +00:00
stage-1-init.sh Move resume section after udev launch - on some systems devices are recognized by kernel only after udev works. 2010-08-14 20:12:05 +00:00
stage-1.nix * In the installation CD, pass the label of the CD through the 2010-08-07 14:16:18 +00:00
stage-2-init.sh * Make sure that /tmp/.ICE-unix is owned by root and has 1777 2010-08-09 10:59:20 +00:00
stage-2.nix * Don't use klibc in the initrd. It's simpler (and slightly smaller) 2010-06-01 15:53:24 +00:00