Hi list, I am wondering when there will be more recent realtime kernel packages available via Debian packages. Does anyone have an idea (besides asking the Debian maintainers)? The current one on Debian testing seems to be linux-image-3.14-2 3.16-4 and 4.3.0-1 seem to not offer realtime versions. Thank you for all ideas! best, Peter