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 ;; *)