Device Filesystem

Das Dateisystem Device Filesystem / devfs (dt. "Gerätedateisystem") ist ein spezielles Dateisystem für viele Unix-artige Betriebssysteme. Da die Implementierung von devfs im Linux-Kernel einige Unzulänglichkeiten hat und nicht mehr aktiv weiterentwickelt wird, wurde udev entwickelt. Seit Ende Juni 2006 ist devfs nicht mehr Bestandteil des Linux-Kernels und wurde vollständig durch udev ersetzt.