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
[off-list ref] wrote:

On 2016-11-01 21:59:49 [+0100], Joël Krähemann wrote:

quoted

Hi

Hi,

quoted

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.

quoted

Bests,
Joël

Sebastian