propellor-4.6.2: property-based host configuration management in haskell

Safe HaskellNone




distroKernel :: Property DebianLike Source #

Digital Ocean does not provide any way to boot the kernel provided by the distribution, except using kexec. Without this, some old, and perhaps insecure kernel will be used.

This property causes the distro kernel to be loaded on reboot, using kexec.

When the power is cycled, the non-distro kernel still boots up. So, this property also checks if the running kernel is present in /boot, and if not, reboots immediately into a distro kernel.