我对我的 Linux 系统上的devtmpfs文件系统的位置感到困惑，我已经阅读过它，我听说它是一个虚拟文件系统，所以当我运行df -a命令时它应该显示它应该显示devtmpfs但它没有。
由于devtmpfs是一个虚拟 文件系统，我认为它是虚拟的，这就是它没有显示的原因，所以我想搜索 /proc 文件系统，它也是虚拟的，但/proc正在显示。所以我的问题是devtmpfs在哪里？
这是我的df -a输出：
root@buster10:/dev$ df -a
Filesystem 1K-blocks Used Available Use% Mounted on
sysfs 0 0 0 - /sys
proc 0 0 0 - /proc
udev 1916492 0 1916492 0% /dev
devpts 0 0 0 - /dev/pts
tmpfs 396232 11448 384784 3% /run
/dev/sda2 955878772 12422396 894830612 2% /
securityfs 0 0 0 - /sys/kernel/security
tmpfs 1981144 123836 1857308 7% /dev/shm
tmpfs 5120 4 5116 1% /run/lock
tmpfs 1981144 0 1981144 0% /sys/fs/cgroup
cgroup2 0 0 0 - /sys/fs/cgroup/unified
cgroup 0 0 0 - /sys/fs/cgroup/systemd
pstore 0 0 0 - /sys/fs/pstore
efivarfs 0 0 0 - /sys/firmware/efi/efivars
bpf 0 0 0 - /sys/fs/bpf
cgroup 0 0 0 - /sys/fs/cgroup/net_cls,net_prio
cgroup 0 0 0 - /sys/fs/cgroup/freezer
cgroup 0 0 0 - /sys/fs/cgroup/cpuset
cgroup 0 0 0 - /sys/fs/cgroup/devices
cgroup 0 0 0 - /sys/fs/cgroup/perf_event
cgroup 0 0 0 - /sys/fs/cgroup/cpu,cpuacct
cgroup 0 0 0 - /sys/fs/cgroup/memory
cgroup 0 0 0 - /sys/fs/cgroup/rdma
cgroup 0 0 0 - /sys/fs/cgroup/pids
cgroup 0 0 0 - /sys/fs/cgroup/blkio
systemd-1 - - - - /proc/sys/fs/binfmt_misc
mqueue 0 0 0 - /dev/mqueue
debugfs 0 0 0 - /sys/kernel/debug
hugetlbfs 0 0 0 - /dev/hugepages
/dev/sda1 523248 5220 518028 1% /boot/efi
tmpfs 396228 5876 390352 2% /run/user/1000
fusectl 0 0 0 - /sys/fs/fuse/connections
gvfsd-fuse 0 0 0 - /run/user/1000/gvfs
binfmt_misc 0 0 0 - /proc/sys/fs/binfmt_misc
tracefs - - - - /sys/kernel/debug/tracing
它安装在
/dev. 要查看文件系统类型，请运行mount；它应该显示类似这证实了它是一个
devtmpfs.