diff --git a/lenses/modprobe.aug b/lenses/modprobe.aug index bd897b9..d96f902 100644 --- a/lenses/modprobe.aug +++ b/lenses/modprobe.aug @@ -73,6 +73,11 @@ let blacklist = Build.key_value_line_comment "blacklist" sep_space sto_no_spaces comment +(* View: allow_unsupported_modules *) +let allow_unsupported_modules = Build.key_value_line_comment "allow_unsupported_modules" sep_space + sto_no_spaces + comment + (* View: config *) let config = Build.key_value_line_comment "config" sep_space (store /binary_indexes|yes|no/) @@ -92,6 +97,7 @@ let entry = alias | options | kv_line_command /install|remove/ | blacklist + | allow_unsupported_modules | config | softdep