Re: debian RT kernel

["Braud Caroline" <Caroline.Braud@univ-lille1.fr>]

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@decadent.org.uk> 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@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html