nixpkgs/boot/boot-stage-1.nix
Eelco Dolstra f2e85499f3 * Doh.
svn path=/nixos/trunk/; revision=7864
2007-02-06 18:29:20 +00:00

60 lines
2 KiB
Nix

# This Nix expression builds the script that performs the first stage
# of booting the system: it loads the modules necessary to mount the
# root file system, then calls /init in the root file system to start
# the second boot stage. The closure of the result of this expression
# is supposed to be put into an initial RAM disk (initrd).
{ substituteAll, staticShell, staticTools
, module_init_tools, extraUtils, modules, modulesDir
, # Whether to find root device automatically using its label.
autoDetectRootDevice
, # If not scanning, the root must be specified explicitly. Actually,
# stage 1 can mount multiple file systems. This is necessary if,
# for instance, /nix (necessary for stage 2) is on a different file
# system than /.
#
# This is a list of {mountPoint, device|label} attribute sets, i.e.,
# the format used by the fileSystems configuration option. There
# must at least be a file system for the / mount point in this list.
fileSystems ? []
# If scanning, we need a disk label.
, rootLabel
, # The path of the stage 2 init to call once we've mounted the root
# device.
stage2Init ? "/init"
}:
let
# !!! use XML; copy&pasted from upstart-jobs/filesystems.nix.
mountPoints = map (fs: fs.mountPoint) fileSystems;
devices = map (fs: if fs ? device then fs.device else "LABEL=" + fs.label) fileSystems;
fsTypes = map (fs: if fs ? fsType then fs.fsType else "auto") fileSystems;
optionss = map (fs: if fs ? options then fs.options else "defaults") fileSystems;
in
assert !autoDetectRootDevice -> mountPoints != [];
substituteAll {
src = ./boot-stage-1-init.sh;
isExecutable = true;
inherit staticShell modules modulesDir;
inherit autoDetectRootDevice mountPoints devices fsTypes optionss;
rootLabel = if autoDetectRootDevice then rootLabel else "";
path = [
staticTools
module_init_tools
extraUtils
];
# We only want the path of the stage 2 init, we don't want it as a
# dependency (since then it the stage 2 init would end up in the
# initrd).
stage2Init = toString stage2Init; # !!! doesn't work
}