diff options
| author | Brian Geffon <bgeffon@google.com> | 2018-08-27 17:20:36 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-27 17:21:37 -0700 |
| commit | f0492d45aa31e32f8a04b13b7bf53e0161e1afb6 (patch) | |
| tree | 78ef1626271ba6c96e0482c2e19874774887aa3b /pkg/sentry/time | |
| parent | 0923bcf06bffe0216cd685f49e83a07201d48cc3 (diff) | |
Add /proc/sys/kernel/shm[all,max,mni].
PiperOrigin-RevId: 210459956
Change-Id: I51859b90fa967631e0a54a390abc3b5541fbee66
Diffstat (limited to 'pkg/sentry/time')
0 files changed, 0 insertions, 0 deletions