On 19.04.2018 21:02, Helmut Backhaus wrote: > Also für Debian ist das hier die Lösung: > In die Datei /etc/default/grub folgendes eintragen ... > GRUB_CMDLINE_XEN_DEFAULT="dom0_mem=4096M dom0_max_vcpus=2 dom0_vcpus_pin" > (Ist an die Gegebenheiten anzupassen!) > > Dann klappt es auch mit dem 4.9.0-6er Kernel! Vielen Dank dir für die Vorwarnung und die Lösung! Viele Grüße Paul