diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-25 18:47:08 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-25 18:47:08 +0200 |
| commit | 30f618d19da7a1147e648b5a69ecb1c1e4d1c553 (patch) | |
| tree | 6db8ce52413375ccab45e325c939354fc89e0266 /sys/linux/filesystem.txt | |
| parent | 90fc4b7a8988a2f84756cb6d9061cb5b83525a90 (diff) | |
sys/linux: add security mount options
Diffstat (limited to 'sys/linux/filesystem.txt')
| -rw-r--r-- | sys/linux/filesystem.txt | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/sys/linux/filesystem.txt b/sys/linux/filesystem.txt index f6f3734c2..871135cba 100644 --- a/sys/linux/filesystem.txt +++ b/sys/linux/filesystem.txt @@ -86,8 +86,9 @@ fs_image_segment { } type fs_options[ELEMS] { - elems array[fs_opt_elem[ELEMS]] - null const[0, int8] + elems array[fs_opt_elem[ELEMS]] + security array[fs_opt_elem[fs_options_security]] + null const[0, int8] } [packed] type fs_opt_elem[ELEMS] { @@ -112,6 +113,22 @@ type fs_opt_cp_num[NAME] fs_opt[NAME, stringnoz[codepage_nums]] fs_opt_digits_suffix = '-', 'x', '0', '1', '2', '3', '4', '5', '6', '7', '8', '9', 'k', 'm', 'g', 't', 'p', 'e' +fs_options_security [ +# SELinux options: + context fs_opt["context", stringnoz[selinux_user_context]] + fscontext fs_opt["fscontext", stringnoz[selinux_user_context]] + rootcontext fs_opt["rootcontext", stringnoz[selinux_user_context]] + defcontext fs_opt["defcontext", stringnoz[selinux_user_context]] + seclabel stringnoz["seclabel"] + +# Smack options: + smackfsdef fs_opt_str["smackfsdef"] + smackfsfloor fs_opt_str["smackfsfloor"] + smackfshat fs_opt_str["smackfshat"] + smackfsroot fs_opt_str["smackfsroot"] + smackfstransmute fs_opt_str["smackfstransmute"] +] [varlen] + msdos_options [ fat fat_options nodots stringnoz["nodots"] |