2009-09-29 11:50:38 +02:00
|
|
|
{ config, pkgs, ... }:
|
2009-01-02 17:07:34 +01:00
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
with pkgs.lib;
|
2009-01-02 17:07:34 +01:00
|
|
|
|
|
|
|
let
|
|
|
|
|
2009-12-15 22:11:39 +01:00
|
|
|
grub = if config.boot.loader.grub.version == 1 then pkgs.grub else pkgs.grub2;
|
|
|
|
|
2009-01-02 17:07:34 +01:00
|
|
|
grubMenuBuilder = pkgs.substituteAll {
|
2009-05-25 15:42:46 +02:00
|
|
|
src = ./grub-menu-builder.sh;
|
2009-01-02 17:07:34 +01:00
|
|
|
isExecutable = true;
|
2009-12-15 22:11:39 +01:00
|
|
|
inherit grub;
|
2009-01-02 17:07:34 +01:00
|
|
|
inherit (pkgs) bash;
|
|
|
|
path = [pkgs.coreutils pkgs.gnused pkgs.gnugrep];
|
2010-06-17 00:18:26 +02:00
|
|
|
inherit (config.boot.loader.grub) copyKernels
|
2010-07-22 16:40:29 +02:00
|
|
|
extraConfig extraEntries extraEntriesBeforeNixOS extraPerEntryConfig
|
2009-12-16 19:57:02 +01:00
|
|
|
splashImage configurationLimit version default timeout;
|
2009-01-02 17:07:34 +01:00
|
|
|
};
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-01-02 17:07:34 +01:00
|
|
|
in
|
|
|
|
|
|
|
|
{
|
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
###### interface
|
|
|
|
|
|
|
|
options = {
|
2009-10-13 23:39:23 +02:00
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
boot.loader.grub = {
|
|
|
|
|
|
|
|
enable = mkOption {
|
|
|
|
default = true;
|
|
|
|
description = ''
|
2009-10-13 23:39:23 +02:00
|
|
|
Whether to enable the GNU GRUB boot loader.
|
2009-09-29 11:50:38 +02:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2009-10-13 23:39:18 +02:00
|
|
|
version = mkOption {
|
2011-05-10 12:35:20 +02:00
|
|
|
default = 1;
|
|
|
|
example = 2;
|
2009-10-13 23:39:18 +02:00
|
|
|
description = ''
|
|
|
|
The version of GRUB to use: <literal>1</literal> for GRUB Legacy
|
|
|
|
(versions 0.9x), or <literal>2</literal> for GRUB 2.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
device = mkOption {
|
|
|
|
default = "";
|
|
|
|
example = "/dev/hda";
|
2009-10-30 12:57:23 +01:00
|
|
|
type = with pkgs.lib.types; uniq string;
|
2009-10-13 23:39:23 +02:00
|
|
|
description = ''
|
2010-07-22 16:40:29 +02:00
|
|
|
The device on which the boot loader, GRUB, will be
|
|
|
|
installed. If empty, GRUB won't be installed and it's your
|
|
|
|
responsibility to make the system bootable. The special
|
|
|
|
value <literal>nodev</literal> means that a GRUB boot menu
|
|
|
|
will be generated, but GRUB itself will not actually be
|
|
|
|
installed.
|
2012-03-08 22:37:30 +01:00
|
|
|
|
|
|
|
To install grub into multiple devices look at
|
|
|
|
<literal>devices</literal>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
devices = mkOption {
|
|
|
|
default = [];
|
|
|
|
example = [ "/dev/hda" ];
|
|
|
|
type = with pkgs.lib.types; listOf string;
|
|
|
|
description = ''
|
|
|
|
The devices on which the boot loader, GRUB, will be
|
|
|
|
installed. Can be used instead of <literal>device</literal> to
|
|
|
|
install grub into multiple devices (as softraid arrays holding /boot).
|
2009-10-13 23:39:23 +02:00
|
|
|
'';
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
|
|
|
|
2009-12-16 19:57:02 +01:00
|
|
|
# !!! How can we mark options as obsolete?
|
2009-09-29 11:50:38 +02:00
|
|
|
bootDevice = mkOption {
|
|
|
|
default = "";
|
2009-12-16 19:57:02 +01:00
|
|
|
description = "Obsolete.";
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
configurationName = mkOption {
|
|
|
|
default = "";
|
|
|
|
example = "Stable 2.6.21";
|
2009-10-13 23:39:23 +02:00
|
|
|
description = ''
|
|
|
|
GRUB entry name instead of default.
|
|
|
|
'';
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
|
|
|
|
2010-06-17 00:18:26 +02:00
|
|
|
extraConfig = mkOption {
|
|
|
|
default = "";
|
|
|
|
example = "serial; terminal_output.serial";
|
|
|
|
description = ''
|
|
|
|
Additional GRUB commands inserted in the configuration file
|
|
|
|
just before the menu entries.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2010-07-22 16:40:29 +02:00
|
|
|
extraPerEntryConfig = mkOption {
|
|
|
|
default = "";
|
|
|
|
example = "root (hd0)";
|
|
|
|
description = ''
|
|
|
|
Additional GRUB commands inserted in the configuration file
|
|
|
|
at the start of each NixOS menu entry.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
extraEntries = mkOption {
|
|
|
|
default = "";
|
2009-10-13 23:39:23 +02:00
|
|
|
example = ''
|
2012-03-28 12:34:40 +02:00
|
|
|
# GRUB 1 example (not GRUB 2 compatible)
|
2009-09-29 11:50:38 +02:00
|
|
|
title Windows
|
|
|
|
chainloader (hd0,1)+1
|
2012-03-28 12:34:40 +02:00
|
|
|
|
|
|
|
# GRUB 2 example
|
|
|
|
menuentry "Windows7" {
|
|
|
|
title Windows7
|
|
|
|
insmod ntfs
|
|
|
|
set root='(hd1,1)'
|
|
|
|
chainloader +1
|
|
|
|
}
|
2009-10-13 23:39:23 +02:00
|
|
|
'';
|
|
|
|
description = ''
|
|
|
|
Any additional entries you want added to the GRUB boot menu.
|
|
|
|
'';
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
extraEntriesBeforeNixOS = mkOption {
|
|
|
|
default = false;
|
2009-10-13 23:39:23 +02:00
|
|
|
description = ''
|
2009-09-29 11:50:38 +02:00
|
|
|
Whether extraEntries are included before the default option.
|
2009-10-13 23:39:23 +02:00
|
|
|
'';
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
splashImage = mkOption {
|
2009-10-13 23:39:18 +02:00
|
|
|
default =
|
|
|
|
if config.boot.loader.grub.version == 1
|
|
|
|
then pkgs.fetchurl {
|
|
|
|
url = http://www.gnome-look.org/CONTENT/content-files/36909-soft-tux.xpm.gz;
|
|
|
|
sha256 = "14kqdx2lfqvh40h6fjjzqgff1mwk74dmbjvmqphi6azzra7z8d59";
|
|
|
|
}
|
|
|
|
# GRUB 1.97 doesn't support gzipped XPMs.
|
2009-11-13 17:45:41 +01:00
|
|
|
else ./winkler-gnu-blue-640x480.png;
|
2009-09-29 11:50:38 +02:00
|
|
|
example = null;
|
2009-10-13 23:39:23 +02:00
|
|
|
description = ''
|
|
|
|
Background image used for GRUB. It must be a 640x480,
|
2009-09-29 11:50:38 +02:00
|
|
|
14-colour image in XPM format, optionally compressed with
|
|
|
|
<command>gzip</command> or <command>bzip2</command>. Set to
|
2009-10-13 23:39:23 +02:00
|
|
|
<literal>null</literal> to run GRUB in text mode.
|
|
|
|
'';
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
configurationLimit = mkOption {
|
|
|
|
default = 100;
|
|
|
|
example = 120;
|
2009-10-13 23:39:23 +02:00
|
|
|
description = ''
|
2009-09-29 11:50:38 +02:00
|
|
|
Maximum of configurations in boot menu. GRUB has problems when
|
|
|
|
there are too many entries.
|
2009-10-13 23:39:23 +02:00
|
|
|
'';
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
2009-01-02 17:07:34 +01:00
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
copyKernels = mkOption {
|
|
|
|
default = false;
|
2009-10-13 23:39:23 +02:00
|
|
|
description = ''
|
|
|
|
Whether the GRUB menu builder should copy kernels and initial
|
2009-12-16 19:57:02 +01:00
|
|
|
ramdisks to /boot. This is done automatically if /boot is
|
|
|
|
on a different partition than /.
|
2009-10-13 23:39:23 +02:00
|
|
|
'';
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
2009-10-13 23:39:23 +02:00
|
|
|
|
2009-12-11 01:51:07 +01:00
|
|
|
timeout = mkOption {
|
|
|
|
default = 5;
|
|
|
|
description = ''
|
2011-09-14 20:20:50 +02:00
|
|
|
Timeout (in seconds) until GRUB boots the default menu item.
|
2009-12-11 01:51:07 +01:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
default = mkOption {
|
2009-12-15 19:21:55 +01:00
|
|
|
default = 0;
|
2009-12-11 01:51:07 +01:00
|
|
|
description = ''
|
2009-12-15 19:21:55 +01:00
|
|
|
Index of the default menu item to be booted.
|
2009-12-11 01:51:07 +01:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2009-01-02 17:07:34 +01:00
|
|
|
};
|
Making modular my previous changes for armv5tel. I updated the way to use
grub. Its options are no more inside 'boot', but inside 'boot.loader.grub'.
I added a new bootloader configuration for nixos, generationsDir. It creates
/boot/default/{init,initrd,kernel,system} symlinks, and the same for the generations
in /boot/system-$gen/{init,initrd,kernel,system}.
I can program the u-boot loader to load /boot/default files always, and have
a minimal nixos boot loader installer functionality. Additionally, I can refer
to the other system generations easily, with a simple 'ls' in /boot.
svn path=/nixos/trunk/; revision=17460
2009-09-27 23:51:37 +02:00
|
|
|
|
2009-01-02 17:07:34 +01:00
|
|
|
};
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
|
|
|
|
###### implementation
|
2009-01-02 17:07:34 +01:00
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
config = mkIf config.boot.loader.grub.enable {
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
system.build.menuBuilder = grubMenuBuilder;
|
Making modular my previous changes for armv5tel. I updated the way to use
grub. Its options are no more inside 'boot', but inside 'boot.loader.grub'.
I added a new bootloader configuration for nixos, generationsDir. It creates
/boot/default/{init,initrd,kernel,system} symlinks, and the same for the generations
in /boot/system-$gen/{init,initrd,kernel,system}.
I can program the u-boot loader to load /boot/default files always, and have
a minimal nixos boot loader installer functionality. Additionally, I can refer
to the other system generations easily, with a simple 'ls' in /boot.
svn path=/nixos/trunk/; revision=17460
2009-09-27 23:51:37 +02:00
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
# Common attribute for boot loaders so only one of them can be
|
|
|
|
# set at once.
|
|
|
|
system.boot.loader.id = "grub";
|
2010-02-27 23:17:10 +01:00
|
|
|
system.boot.loader.kernelFile = pkgs.stdenv.platform.kernelTarget;
|
2009-10-13 23:39:18 +02:00
|
|
|
|
2009-12-15 22:11:39 +01:00
|
|
|
environment.systemPackages = mkIf config.boot.loader.grub.enable [ grub ];
|
2009-10-13 23:39:18 +02:00
|
|
|
|
2009-12-16 19:11:26 +01:00
|
|
|
system.build.grub = grub;
|
|
|
|
|
2009-09-29 11:50:38 +02:00
|
|
|
};
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-01-02 17:07:34 +01:00
|
|
|
}
|