Se você emitir o comando mount
(ou cat / etc / mtab), verá que / dev é seu próprio sistema de arquivos, separado de /:
... udev on /dev type devtmpfs (rw,mode=0755) ...
No meu disco, parece que não tenho nenhum arquivo de dispositivo no sistema de arquivos raiz. Eu procurei por eles com:
sudo find / -xdev -type b -o -type c
Montar este sistema de arquivos com nodev, portanto, não teria nenhum efeito perceptível.