From 8df1c1e0ea2ba21e1780a7da1dee78518d194c17 Mon Sep 17 00:00:00 2001 From: Alec Ari Date: Thu, 4 Jul 2024 10:32:13 -0500 Subject: [PATCH] Fix RTAI bodging for 4.19 (second pass) Signed-off-by: Alec Ari --- debian/configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/configure b/debian/configure index e25a5a504a7..c4e830cbcdd 100755 --- a/debian/configure +++ b/debian/configure @@ -238,7 +238,7 @@ case $TARGET in EXTRA_RECOMMENDS="$EXTRA_RECOMMENDS, linux-image-rt-amd64 [linux-amd64], linux-image-rt-686-pae [linux-i386]" CONFIGURE_REALTIME_ARG=--with-realtime=uspace ;; - 4.14.174-rtai-amd64|4.19.195-rtai-amd64|5.4.258-rtai-amd64) + 4.14.174-rtai-amd64|4.19.195-rtai-amd64|4.19.296-rtai-amd64|5.4.258-rtai-amd64) CONFIGURE_REALTIME_ARG=--with-realtime=/usr/realtime-$KERNEL_VERSION ;; *)