Т.е., udev к devtmpfs не имеет прямого отношения: это просто независимо работающие вещи, тут всё ясно.
А что пришло на замену devfs не вполне ясно: то ли был параллельно какой-то devfsd (именно независимый от devfs "пользовательский" демон), то ли после, то ли сразу был udev...

