27. udev -- is there a pseudo-filesystem udev?

cfuchs

I use Debian 11 (with systemd).
"df" seems to indicate that there is a "udev" pseudo-filesystem,

$ df -h
Filesystem                               Size  Used Avail Use% Mounted on
udev                                      16G     0   16G   0% /dev
...

but checking with /proc/ I don't see it,

$ cat /proc/filesystems | grep udev
$ _

(ie. nothing reported)

Is that explained later in the course, or is there a simple explanation?

cfuchs

never mind, mount told me the pseudo-filesystem is called devtmpfs instead...