9a4b82d2af
This makes sure that we don't try to evaluate the tests with an incompatible kernel version. The original reviewer didn't react within 10 days, but since they got notified and all this commit is doing is to fix evaluation, I consider it safe to merge. Cc: @adisbladis
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at https://nixos.org/nixos and in the manual in doc/manual.