Bug#648751: linux-image-3.0.0-1-rt-amd64: rcu_preempt_state whileshutdown

Hi Uwe, Sorry for the real late response. I installed the kernel you suggested in the same day but I forgot to give my feedback. It solved all my issues, so I think this bugreport should be closed as fixed. I'm currently running 3.2.0 and it's also well so far. Thanks for your help!

Bug#648751: linux-image-3.0.0-1-rt-amd64: rcu_preempt_state whileshutdown

Hi Ben, Here it is, I hope this helps. Nov 14 18:51:10 localhost kernel: [ 33.547313] [ cut here ] Nov 14 18:51:10 localhost kernel: [ 33.547320] WARNING: at /build/buildd-linux-2.6_3.0.0-6-amd64-WVZwan/linux-2.6-3.0.0/debian/build/source_amd64_rt/kernel/sched.c:42

Bug#648751: linux-image-3.0.0-1-rt-amd64: rcu_preempt_state whileshutdown

Hi Ben, I've installed 3.0.0-6 and in my preliminar analysis it worked, but after using the laptop for awhile it now said: "irq 16: nobody cared (try booting with irqpool option)" "Disabling irq #16" Stopped there for about 2 minutes and said something about task halt and sync_something I'll t