diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-26 13:50:35 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-26 13:50:35 +0200 |
| commit | 881bc4f9563e82efda303447725d82f10ef9c29a (patch) | |
| tree | 0e7f4868ebe7b472f74da1ef3c836318d6e0f38b /executor/common_linux.h | |
| parent | db716d6653d073b0abfb51186cd4ac2d5418c9c6 (diff) | |
sys/linux: add IMA mount options
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions