Ich habe einige Server (gehostet bei gcp, daher ist das Anhängen eines ISO und Ausführen von Befehlen keine Option), die anscheinend abgestürzt sind, weil /boot geleert wurde und sie neu gestartet wurden. Ich habe erfolglos versucht, Kerneldateien von einer anderen Ubuntu-Installation zu kopieren. Ich bin mir ziemlich sicher, dass ich nach vmlinuz-5.4.0-72-generic suche. Wo würde ich das im Internet finden? Wenn ich es zu /boot hinzufüge und vmlinuz in / symbolisch verlinke, wird das das Problem wahrscheinlich lösen?