commit 68e59589028ffdfeb88a76dc9345edee11d18449
author Treehugger Robot <treehugger-gerrit@google.com> Fri Sep 10 01:27:48 2021 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Fri Sep 10 01:27:48 2021 +0000
tree 3cf9dc64ffbd1c5b9fc51c3f91050b29b994ed11
parent a37bf1069233b8cf4e307ba1fe8ff8c36818b8c5
parent 8a6f8e51bc066593207746703a3032d0ab5b3f34

Merge "Add the 'bdev_type' attribute to all block device types"

microdroid/system/public/device.te

diff --git a/microdroid/system/public/device.te b/microdroid/system/public/device.te
index bdc3b28..cc3519e 100644
--- a/microdroid/system/public/device.te
+++ b/microdroid/system/public/device.te
@@ -34,6 +34,6 @@
 type uhid_device, dev_type, mlstrustedobject;
 type uio_device, dev_type;
 type userdata_sysdev, dev_type;
-type vd_device, dev_type;
+type vd_device, dev_type, bdev_type;
 type vndbinder_device, dev_type;
 type zero_device, dev_type, mlstrustedobject;