Jaromír Mikeš Sat, 28 Oct 2023 22:12:29 -0700
Hello, as I understand there are some changes in distribution of linux kernel in debian. Will linux-image-rt-amd be still provided? Thank you m.