Hi This happend as virtualization support was disabled by BIOS. And occured multiple times, as enabling hardware virtualization support there were no more problems. Bests, Joël On Wed, Nov 2, 2016 at 11:35 AM, Sebastian Andrzej Siewior <bigeasy@xxxxxxxxxxxxx> wrote: > On 2016-11-01 21:59:49 [+0100], Joël Krähemann wrote: >> Hi > Hi, > >> There is a screenshot of a kernel panic in the attachment. >> The last thing I did was: >> >> apt-get install gdb valgrind make gcc automake autoconf on TTY2 > > I see. So there is no backtrace and IP points to "doublefault". If you > can reproduce it then you could redirect ttyS0 somewhere and log > kernel's output there. > >> Bests, >> Joël > > Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html