blob: d3d413ea560bcb429afae104361530b0b168634b [file] [log] [blame]
Andrew Scull6f3e5fe2021-07-02 12:38:21 +00001###
2### Neverallow rules
3###
4
5neverallow {
6 domain
7 -init
8 -microdroid_manager
9} vmsecret_keymint_prop:property_service set;
10
11neverallow {
12 domain
13 -init
14 -microdroid_manager
15 -hal_keymint_server
16} vmsecret_keymint_prop:file no_rw_file_perms;