[LAU] 64-bit kernel 3.x deb package?

[S. Massy]

On Wed, Aug 08, 2012 at 09:23:05AM +0200, Raffaele Morelli wrote:
> 2012/8/8 david <gnome at hawaii.rr.com>
> 
> > On 08/07/2012 10:47 AM, Ralf Mardorf wrote:
> >
> >> On Tue, 2012-08-07 at 13:39 -0700, Ken Restivo wrote:
> >>
> >>> Interesting, well I've already exceeded my time budget for "while I've
> >>> got this thing on, I wonder if there's a 64-bit kernel for it".
> >>>
> >>
> >> You should build your own kernel-rt. In the end this might be less time
> >> consuming. On my machine it takes around 90 minutes with an Athlon
> >> 2.1GHz dual-core, 4GB RAM, CONCURRENCY_LEVEL=2.
> >>
> >
> > Debian Sid has a 64-bit RT kernel version 3.2.0 in its repository.
> >
> 
> so does debian wheezy/testing
> linux-image-3.2.0-3-rt-amd64
Am considering upgrading to this kernel (like Ken, I'm getting lazy and
would like to go back to a packaged kernel) from 2.6.33.2-RT30: any pros
and/or cons I should be aware of?

Cheers,
S.M.