diff --git a/debian/udev.preinst b/debian/udev.preinst index 14c88eedb..ed6182bac 100644 --- a/debian/udev.preinst +++ b/debian/udev.preinst @@ -117,6 +117,12 @@ check_kernel_features() { fi + local missing_devtmpfs=0 + if ! grep -q '[[:space:]]devtmpfs$' /proc/filesystems; then + missing_devtmpfs=1 + abort_install=1 + fi + local sysfs_deprecated=0 if [ -d /sys/class/mem/null -a ! -L /sys/class/mem/null ]; then sysfs_deprecated=1 @@ -135,6 +141,15 @@ the running kernel: END fi + if [ "$missing_devtmpfs" -eq 1 ]; then + cat <