Fix kernel-copperhead test

(cherry picked from commit 3b0180fb95493d6afbf535dafcdaa77859019295)
release-18.03-flake
Tim Steinbach 2018-04-13 09:01:53 -04:00
parent 4f5b9016ec
commit e3fa856c14
No known key found for this signature in database
GPG Key ID: 472BFCCA96BD0EDA
1 changed files with 2 additions and 2 deletions

View File

@ -6,14 +6,14 @@ import ./make-test.nix ({ pkgs, ...} : {
machine = { config, lib, pkgs, ... }:
{
boot.kernelPackages = pkgs.linuxPackages_hardened_copperhead;
boot.kernelPackages = pkgs.linuxPackages_copperhead_hardened;
};
testScript =
''
$machine->succeed("uname -a");
$machine->succeed("uname -s | grep 'Linux'");
$machine->succeed("uname -a | grep '${pkgs.linuxPackages_hardened_copperhead.kernel.modDirVersion}'");
$machine->succeed("uname -a | grep '${pkgs.linuxPackages_copperhead_hardened.kernel.modDirVersion}'");
$machine->succeed("uname -a | grep 'hardened'");
'';
})