2015-05-05 04:23:28 +01:00
|
|
|
# This module creates a bootable SD card image containing the given NixOS
|
|
|
|
# configuration. The generated image is MBR partitioned, with a FAT /boot
|
|
|
|
# partition, and ext4 root partition. The generated image is sized to fit
|
|
|
|
# its contents, and a boot script automatically resizes the root partition
|
|
|
|
# to fit the device on the first boot.
|
|
|
|
#
|
|
|
|
# The derivation for the SD image will be placed in
|
|
|
|
# config.system.build.sdImage
|
|
|
|
|
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
2018-06-05 08:19:08 +01:00
|
|
|
rootfsImage = pkgs.callPackage ../../../lib/make-ext4-fs.nix ({
|
2015-05-05 04:23:28 +01:00
|
|
|
inherit (config.sdImage) storePaths;
|
|
|
|
volumeLabel = "NIXOS_SD";
|
2018-07-07 04:59:19 +01:00
|
|
|
} // optionalAttrs (config.sdImage.rootPartitionUUID != null) {
|
|
|
|
uuid = config.sdImage.rootPartitionUUID;
|
2018-06-05 08:19:08 +01:00
|
|
|
});
|
2015-05-05 04:23:28 +01:00
|
|
|
in
|
|
|
|
{
|
|
|
|
options.sdImage = {
|
2018-03-31 18:27:45 +01:00
|
|
|
imageName = mkOption {
|
2018-08-20 20:11:29 +01:00
|
|
|
default = "${config.sdImage.imageBaseName}-${config.system.nixos.label}-${pkgs.stdenv.hostPlatform.system}.img";
|
2018-03-31 18:27:45 +01:00
|
|
|
description = ''
|
|
|
|
Name of the generated image file.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
imageBaseName = mkOption {
|
|
|
|
default = "nixos-sd-image";
|
|
|
|
description = ''
|
|
|
|
Prefix of the name of the generated image file.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2015-05-05 04:23:28 +01:00
|
|
|
storePaths = mkOption {
|
|
|
|
type = with types; listOf package;
|
|
|
|
example = literalExample "[ pkgs.stdenv ]";
|
|
|
|
description = ''
|
|
|
|
Derivations to be included in the Nix store in the generated SD image.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2018-07-07 04:59:19 +01:00
|
|
|
bootPartitionID = mkOption {
|
|
|
|
type = types.string;
|
|
|
|
default = "0x2178694e";
|
|
|
|
description = ''
|
|
|
|
Volume ID for the /boot partition on the SD card. This value must be a
|
|
|
|
32-bit hexadecimal number.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
rootPartitionUUID = mkOption {
|
|
|
|
type = types.nullOr types.string;
|
|
|
|
default = null;
|
|
|
|
example = "14e19a7b-0ae0-484d-9d54-43bd6fdc20c7";
|
|
|
|
description = ''
|
|
|
|
UUID for the main NixOS partition on the SD card.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2015-05-05 04:23:28 +01:00
|
|
|
bootSize = mkOption {
|
|
|
|
type = types.int;
|
2015-12-26 05:28:19 +00:00
|
|
|
default = 120;
|
2015-05-05 04:23:28 +01:00
|
|
|
description = ''
|
|
|
|
Size of the /boot partition, in megabytes.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
populateBootCommands = mkOption {
|
|
|
|
example = literalExample "'' cp \${pkgs.myBootLoader}/u-boot.bin boot/ ''";
|
|
|
|
description = ''
|
|
|
|
Shell commands to populate the ./boot directory.
|
|
|
|
All files in that directory are copied to the
|
|
|
|
/boot partition on the SD image.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = {
|
|
|
|
fileSystems = {
|
|
|
|
"/boot" = {
|
|
|
|
device = "/dev/disk/by-label/NIXOS_BOOT";
|
|
|
|
fsType = "vfat";
|
|
|
|
};
|
|
|
|
"/" = {
|
|
|
|
device = "/dev/disk/by-label/NIXOS_SD";
|
|
|
|
fsType = "ext4";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sdImage.storePaths = [ config.system.build.toplevel ];
|
|
|
|
|
2018-06-05 08:19:08 +01:00
|
|
|
system.build.sdImage = pkgs.callPackage ({ stdenv, dosfstools, e2fsprogs, mtools, libfaketime, utillinux }: stdenv.mkDerivation {
|
2018-03-31 18:27:45 +01:00
|
|
|
name = config.sdImage.imageName;
|
2015-05-05 04:23:28 +01:00
|
|
|
|
2018-06-05 08:19:08 +01:00
|
|
|
nativeBuildInputs = [ dosfstools e2fsprogs mtools libfaketime utillinux ];
|
2015-05-05 04:23:28 +01:00
|
|
|
|
|
|
|
buildCommand = ''
|
2018-03-31 18:27:45 +01:00
|
|
|
mkdir -p $out/nix-support $out/sd-image
|
|
|
|
export img=$out/sd-image/${config.sdImage.imageName}
|
|
|
|
|
2018-08-20 20:11:29 +01:00
|
|
|
echo "${pkgs.stdenv.buildPlatform.system}" > $out/nix-support/system
|
2018-03-31 18:27:45 +01:00
|
|
|
echo "file sd-image $img" >> $out/nix-support/hydra-build-products
|
|
|
|
|
2015-12-26 05:28:19 +00:00
|
|
|
# Create the image file sized to fit /boot and /, plus 20M of slack
|
2015-05-05 04:23:28 +01:00
|
|
|
rootSizeBlocks=$(du -B 512 --apparent-size ${rootfsImage} | awk '{ print $1 }')
|
|
|
|
bootSizeBlocks=$((${toString config.sdImage.bootSize} * 1024 * 1024 / 512))
|
2015-12-26 05:28:19 +00:00
|
|
|
imageSize=$((rootSizeBlocks * 512 + bootSizeBlocks * 512 + 20 * 1024 * 1024))
|
2018-03-31 18:27:45 +01:00
|
|
|
truncate -s $imageSize $img
|
2015-05-05 04:23:28 +01:00
|
|
|
|
|
|
|
# type=b is 'W95 FAT32', type=83 is 'Linux'.
|
2018-03-31 18:27:45 +01:00
|
|
|
sfdisk $img <<EOF
|
2015-05-05 04:23:28 +01:00
|
|
|
label: dos
|
2018-07-07 04:59:19 +01:00
|
|
|
label-id: ${config.sdImage.bootPartitionID}
|
2015-05-05 04:23:28 +01:00
|
|
|
|
2015-12-26 05:28:19 +00:00
|
|
|
start=8M, size=$bootSizeBlocks, type=b, bootable
|
|
|
|
start=${toString (8 + config.sdImage.bootSize)}M, type=83
|
2015-05-05 04:23:28 +01:00
|
|
|
EOF
|
|
|
|
|
|
|
|
# Copy the rootfs into the SD image
|
2018-03-31 18:27:45 +01:00
|
|
|
eval $(partx $img -o START,SECTORS --nr 2 --pairs)
|
|
|
|
dd conv=notrunc if=${rootfsImage} of=$img seek=$START count=$SECTORS
|
2015-05-05 04:23:28 +01:00
|
|
|
|
|
|
|
# Create a FAT32 /boot partition of suitable size into bootpart.img
|
2018-03-31 18:27:45 +01:00
|
|
|
eval $(partx $img -o START,SECTORS --nr 1 --pairs)
|
2015-05-05 04:23:28 +01:00
|
|
|
truncate -s $((SECTORS * 512)) bootpart.img
|
2018-07-07 04:59:19 +01:00
|
|
|
faketime "1970-01-01 00:00:00" mkfs.vfat -i ${config.sdImage.bootPartitionID} -n NIXOS_BOOT bootpart.img
|
2015-05-05 04:23:28 +01:00
|
|
|
|
|
|
|
# Populate the files intended for /boot
|
|
|
|
mkdir boot
|
|
|
|
${config.sdImage.populateBootCommands}
|
|
|
|
|
|
|
|
# Copy the populated /boot into the SD image
|
2018-11-28 02:52:10 +00:00
|
|
|
(cd boot; mcopy -psvm -i ../bootpart.img ./* ::)
|
2018-11-28 02:51:41 +00:00
|
|
|
# Verify the FAT partition before copying it.
|
|
|
|
fsck.vfat -vn bootpart.img
|
2018-03-31 18:27:45 +01:00
|
|
|
dd conv=notrunc if=bootpart.img of=$img seek=$START count=$SECTORS
|
2015-05-05 04:23:28 +01:00
|
|
|
'';
|
2018-06-05 08:19:08 +01:00
|
|
|
}) {};
|
2015-05-05 04:23:28 +01:00
|
|
|
|
|
|
|
boot.postBootCommands = ''
|
|
|
|
# On the first boot do some maintenance tasks
|
|
|
|
if [ -f /nix-path-registration ]; then
|
|
|
|
# Figure out device names for the boot device and root filesystem.
|
|
|
|
rootPart=$(readlink -f /dev/disk/by-label/NIXOS_SD)
|
|
|
|
bootDevice=$(lsblk -npo PKNAME $rootPart)
|
|
|
|
|
|
|
|
# Resize the root partition and the filesystem to fit the disk
|
|
|
|
echo ",+," | sfdisk -N2 --no-reread $bootDevice
|
|
|
|
${pkgs.parted}/bin/partprobe
|
|
|
|
${pkgs.e2fsprogs}/bin/resize2fs $rootPart
|
|
|
|
|
|
|
|
# Register the contents of the initial Nix store
|
2016-04-24 11:57:19 +01:00
|
|
|
${config.nix.package.out}/bin/nix-store --load-db < /nix-path-registration
|
2015-05-05 04:23:28 +01:00
|
|
|
|
|
|
|
# nixos-rebuild also requires a "system" profile and an /etc/NIXOS tag.
|
|
|
|
touch /etc/NIXOS
|
2016-04-24 11:57:19 +01:00
|
|
|
${config.nix.package.out}/bin/nix-env -p /nix/var/nix/profiles/system --set /run/current-system
|
2015-05-05 04:23:28 +01:00
|
|
|
|
|
|
|
# Prevents this from running on later boots.
|
|
|
|
rm -f /nix-path-registration
|
|
|
|
fi
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
}
|