Eric Wong wrote: > Jim Meyering <j...@meyering.net> wrote: >> Thanks. I've tweaked the log and added a matching ChangeLog entry. >> Testing via df on my F18 laptop, diff -u <(src/df-prev) <(src/df) >> shows no difference. What do people think of this entry from >> that F18 system? >> >> devtmpfs 1538304 0 1538304 0% /dev >> >> If we're omitting "devfs", then should "devtmpfs" also be omitted? > > Yes, I believe devtmpfs should be omitted. I never noticed the > kernel option for it until now :x > > Since I've been playing with SystemTap, I've also noticed "debugfs" > on some systems. > > Here is an updated patch with debugfs and devtmpfs: > >>From b0904cbd02932009e0b9de568ce4742d27a18e78 Mon Sep 17 00:00:00 2001 > From: Eric Wong <normalper...@yhbt.net> > Date: Fri, 7 Dec 2012 23:14:34 +0000 > Subject: [PATCH] mountlist: recognize more "dummy" file systems > > * lib/mountlist.c (ME_DUMMY_0): > Add these dummy FS names to the list: > - "debugfs" virtual filesystem for kernel debugging > - "devpts" PTY slave filesystem > - "devtmpfs" device filesystem on top of tmpfs/ramfs > - "fusectl" control filesystem for FUSE > - "mqueue" enumerates POSIX message queues > - "rpc_pipefs" kernel <-> userspace bridge for NFS > - "sysfs" is for exporting kernel objects > - "devfs" device filesystem for Linux 2.4 and FreeBSD
Thanks. Pushed.
