De gentoo-wiki :
devtmpfs: This is a recent addition to the Linux kernel, designed to offer device nodes early at bootup. To use it, enable
CONFIG_DEVTMPFS
in your kernel .config.
Se o seu kernel tem esta opção ativada, você deve ter uma saída similar:
petrus@hive:/boot$ grep CONFIG_DEVTMPFS config-'uname -r'
CONFIG_DEVTMPFS=y
CONFIG_DEVTMPFS_MOUNT=y
No entanto, a mensagem que você tem na inicialização parece indicar que o seu kernel não tem essa opção e, assim, voltar a tmpfs
para montar /dev
.
Você pode verificar qual deles está usando em /etc/mtab
:
petrus@hive:~$ grep /dev /etc/mtab
udev /dev devtmpfs rw,mode=0755 0 0
Se você quiser montar / remontar /dev
com devtmpfs
:
root@hive:~# mount -t devtmpfs none /dev
No entanto, não sei onde está a configuração do sistema em relação à escolha de devtmpfs vs. tmpfs, mas usar tmpfs
não deve causar problemas.