getumbrel / umbrel-dev

Automatically initialize and manage an Umbrel development environment
20 stars 15 forks source link

Update Linux kernel and headers on first boot #17

Closed lukechilds closed 3 years ago

lukechilds commented 3 years ago

The vagrant-vbguest plugin installs the Linux headers for the currently installed kernel version with:

apt-get install -y linux-headers-`uname -r`

This fails if the Vagrant box is running a slightly old kernel once it's headers have been removed from the Debian apt repository.

So instead, we manually install the latest kernel and headers on first boot, then restart and everything works correctly.