J'ai remarqué l'option suivante dans le noyau: CONFIG_DEVTMPFS Device Drivers -> Generic Driver Options -> Maintain devtmpfs to mount at /dev Et je vois qu'il est activé par défaut dans le noyau de distribution Debian 3.2.0-4-amd64 J'essaie de comprendre quelle différence cette option...