>>712
/dev は、あまり聞かない。
ひょっとしたら、実態がないディレクトリかも知れない

Linux では、そういう特殊なディレクトリが多い。
ファイルのディレクトリじゃなくて、単に何かの機能の代わりとして使うだけのインターフェース