Bug#882192: linux: PREEMPT_RT not available

[wargreen <wargreen@lebib.org>]

Source: linux
Version: 4.12
Severity: important

Dear maintainers,

The PREEMPT_RT patch was disable to wait the 4.12 update
[https://anonscm.debian.org/cgit/kernel/linux.git/tree/debian/changelog?h=sid#n1104],
but it was updated to 4.14 now
[https://www.kernel.org/pub/linux/kernel/projects/rt/]

Thanks,
wargreen



-- System Information:
Debian Release: buster/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-3-rt-amd64 (SMP w/4 CPU cores; PREEMPT)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)