Nouveau kernel Linux 4.1.3 RT3

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.