Hello, So if I understand well, the installation of RT package in a brand new PC: - step 1: installation of a distribution (I have installed debian jessie) - step 2: to be able to have access of RT packages in development: follow the link you gave me (4.3 and 4.2 steps) by replacing "dist" by "sid" - step 3: install RT packages in development using apt-get install (headers and image RT) ?? Thanks a lot, and sorry for my level in linux kernel ... The RT kernel is very usefull for me and I find the RT-PREEMPT development very interesting :) CB Le Vendredi 22 Mai 2015 23:22 CEST, Ben Hutchings <ben@xxxxxxxxxxxxxxx> a écrit: > On Fri, 2015-05-22 at 17:52 +0200, Braud Caroline wrote: > > Hello, > > > > Sorry to ask but where is the Debian packaging repo for 4.0-rt ? > > See the kernel handbook: > http://kernel-handbook.alioth.debian.org/ch-common-tasks.html#s-common-official-vcs > > In this case you want the 'sid' distribution. > > Ben. > > -- > Ben Hutchings > One of the nice things about standards is that there are so many of them. -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html