enable KPTI

[pve-kernel.git] / find-firmware.pl

diff --git a/find-firmware.pl b/find-firmware.pl
index a19fa212b04255e5e46723a9801001f55cfe22e1..dce8dc8161359db909e8a7a02c23fa0e50e03a29 100755 (executable)
--- a/find-firmware.pl
+++ b/find-firmware.pl
@@ -8,7 +8,7 @@ die "no directory to scan" if !$dir;
 
 die "no such directory" if ! -d $dir;
 
-die "strange directory name" if $dir !~ m|^(.*/)?(4.10.\d+\-\d+\-pve)(/+)?$|;
+die "strange directory name" if $dir !~ m|^(.*/)?(4.13.\d+\-\d+\-pve)(/+)?$|;
 
 my $apiver = $2;