[notalaser]

I don't know what they use, but there's always eudev, Gentoo's fork which works just fine, and offers pretty much everything that udev offers (except for the systemd dependency).

[JdeBP]

The headlined article explains that it is Debian 9, which does not have eudev, nor vdev (which is in Devuan), nor Suckless mdev.