Home About Performances Teaching Collaborations Tech Audiovisual Works 100 Sketches Calendar Blog

Restore kernel on Arch Linux

Published on: 2025-05-01

Yesterday I had the heart-attack-inducing experience of an unbootable system after my usual pacman -Syu, which most of the time works out just fine. Some of the time something breaks, but nothing as serious as this: every trace of the Linux kernel had vanished from my /boot drive, leaving my beloved Thinkpad with no brains to do anything but drop back to the BIOS setup. After much fiddling and cursing I finally managed to get the system up and running again, using a relatively recent USB installation medium I had lying around after reinstallling Arch on another laptop.

I am writing the steps down here, so that I will remember this in the future if something similar should happen again. And, who know, maybe it's useful for others as well…

And that's it! After this my system was back up again, as if nothing had ever happened.