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
