Good New Everyone !
--- English bellow ---
Voici la nouvelle mouture du kernel Linux 4.1.3, toute fraichement patchée realtime (rt3).
C'est la version de kernel.org, donc non patchée debian.
Tout cela accessible ici : http://benbart.net/wargreen/pub/RT_kernel/4.1.3
Lisez le README pour les problèmes connus et contacts.
--- English version ---
Here is the new version of the Linux kernel 4.1.3, newly patched realtime (rt3).
It's the version from kernel.org, so no debian-patched.
All this is accessible here : http://benbart.net/wargreen/pub/RT_kernel/4.1.3
Read the README for know issue and contacts.