diff options
| author | Neel Natu <neelnatu@google.com> | 2018-07-13 12:10:01 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-07-13 12:10:57 -0700 |
| commit | 5b09ec3b890141959aa6a6a73b1ee4e26490c5cc (patch) | |
| tree | c89d008029668030fbbb8efb113353d55b774aee /pkg/sentry/fs/dev/fs.go | |
| parent | 68cf86b6300ad8903e240607dcc8bedd12fcc0ee (diff) | |
Allow a filesystem to control its visibility in /proc/filesystems.
PiperOrigin-RevId: 204508520
Change-Id: I09e5f8b6e69413370e1a0d39dbb7dc1ee0b6192d
Diffstat (limited to 'pkg/sentry/fs/dev/fs.go')
| -rw-r--r-- | pkg/sentry/fs/dev/fs.go | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkg/sentry/fs/dev/fs.go b/pkg/sentry/fs/dev/fs.go index 4945ac962..3c79f3782 100644 --- a/pkg/sentry/fs/dev/fs.go +++ b/pkg/sentry/fs/dev/fs.go @@ -49,6 +49,11 @@ func (*filesystem) AllowUserMount() bool { return true } +// AllowUserList allows this filesystem to be listed in /proc/filesystems. +func (*filesystem) AllowUserList() bool { + return true +} + // Flags returns that there is nothing special about this file system. // // In Linux, devtmpfs does the same thing. |