On Wed, 2014-05-14 at 12:21 -0400, Paul Gortmaker wrote:
> On 14-05-13 03:45 AM, Alexandra N. Kossovsky wrote:
> > Hello.
> >
> > One of my computers fails to boot with 3.2.57-rt kernel, i686.
> > The kernel is the Debian one: linux-image-3.2.0-4-rt-686-pae, version
> > 3.2.57-3. Same non-rt kernel boots fine. All newer -rt kernels (I've
> > tried kernels starting from 3.6) boot fine.
> > You can find some details of the hardware in
> > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746232,
> > including lspci output and full kernel output.
>
> One of the more recent additions was to ensure RCU_BOOST was
> auto selected via Kconfig dependencies. It might not have
> been present in 3.2.57-rt; not sure w/o checking what debian
> has in there. But you might want to check the .config you
> have to see whether it is on or off, and try enabling it.
[...]
$ grep RCU_BOOST /usr/src/linux-headers-3.2.0-4-rt-686-pae/.config
# CONFIG_RCU_BOOST is not set
Sasha, could you try enabling this? (Instructions for rebuilding the
package are at
<http://kernel-handbook.alioth.debian.org/ch-common-tasks.html#s-common-official>, or you could take the source and rt patch from linux-source-3.2 and then use 'make deb-pkg'.)
Ben.
--
Ben Hutchings
We get into the habit of living before acquiring the habit of thinking.
- Albert Camus
Attachment:
signature.asc
Description: This is a digitally signed message part