b825169404
You can now do a fast reboot (bypassing the BIOS, which may take several minutes on servers) by running ‘systemctl kexec’. Unfortunately the QEMU test for this is unreliable due to a QEMU bug (it randomly crashes with a message like ‘Guest moved used index from 8 to 0’), so it's commented out.
21 lines
610 B
Nix
21 lines
610 B
Nix
{ config, pkgs, ... }:
|
|
|
|
{
|
|
environment.systemPackages = [ pkgs.kexectools ];
|
|
|
|
systemd.services."prepare-kexec" =
|
|
{ description = "Preparation for kexec";
|
|
wantedBy = [ "kexec.target" ];
|
|
before = [ "systemd-kexec.service" ];
|
|
unitConfig.DefaultDependencies = false;
|
|
serviceConfig.Type = "oneshot";
|
|
path = [ pkgs.kexectools ];
|
|
script =
|
|
''
|
|
p=$(readlink -f /nix/var/nix/profiles/system)
|
|
if ! [ -d $p ]; then exit 1; fi
|
|
exec kexec --load $p/kernel --initrd=$p/initrd --append="$(cat $p/kernel-params) init=$p/init"
|
|
'';
|
|
};
|
|
|
|
} |