He notado la siguiente opción en el kernel: CONFIG_DEVTMPFS Device Drivers -> Generic Driver Options -> Maintain devtmpfs to mount at /dev Y veo que está habilitado por defecto en el núcleo de distribución de Debian 3.2.0-4-amd64 Estoy tratando de entender qué diferencia trae esta opción....