Dear Andi, can you add the debian package acpi-support so the computer can shutdown with acpi events? So students can shutdown with the push button also in virtual environment the installation work better. Also on server it is a good choice because is better than a power off without shutdown. regards Andreas Schockenhoff