Dans le cas où plus aucun service ne fonctionne (service, systemctl), il est possible de redémarrer l'OS en utilisant les Magic System Request Key (SysRq) :
1) Activer les Magic SysRq :
echo "1" > /proc/sys/kernel/sysrq
2) Redémarrer la machine :
echo "b" > /proc/sysrq-trigger
Il existe d'autres déclencheurs, sous la forme de caractères uniques à envoyer dans le fichier /proc/sysrq-trigger
.
Quelques exemples de combinaisons de touches disponibles pour utiliser les SysRq : article.
Pour qui se demanderait quels outils composent l'option standard system utilities proposée durant l'installation de Debian.