sepolicy: Address kernel denials

Change-Id: Ie506bd769173d1c5780cfbf8b2740b5c5d66d8c5
Signed-off-by: DennySPb <dennyspb@gmail.com>
This commit is contained in:
LuK1337 2019-07-10 22:25:38 +02:00 committed by Giammarco Senatore
parent 933e39f1c8
commit 7f69622f6f
No known key found for this signature in database
GPG key ID: 661348FC1E144F04

7
sepolicy/vendor/kernel.te vendored Normal file
View file

@ -0,0 +1,7 @@
allow kernel self:system syslog_read;
# Allow kernel to read kmsg_device
allow kernel kmsg_device:chr_file r_file_perms;
# Allow kernel to search in block_device
allow kernel block_device:dir search;