blob: d3d413ea560bcb429afae104361530b0b168634b [file] [log] [blame]
Inseob Kime1389972021-07-19 07:48:34 +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;