hdl-dev-repos: pin Linux kernel tag

diff --git a/hdl-dev-repos b/hdl-dev-repos
index 14a13c8b4874fd4a8512de24baf0b0792d39f054..93bed05c8045cbc9c6f768b207bdccf9651648e9 100755 (executable)
--- a/hdl-dev-repos
+++ b/hdl-dev-repos
@@ -20,7 +20,7 @@ git clone https://gitlab.com/nmigen/nmigen-stdio.git
 git clone https://git.libre-soc.org/git/soc.git
 git clone https://git.libre-soc.org/git/pytest-output-to-files.git
 git clone https://git.libre-soc.org/git/mdis.git
-git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git --depth=1
+git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git --depth=1 --branch v6.5.8
 '
 
 # pytest