Merge "Allow dumpstate to trace drm hals" into pi-dev
diff --git a/public/dumpstate.te b/public/dumpstate.te
index 9166deb..003e1f7 100644
--- a/public/dumpstate.te
+++ b/public/dumpstate.te
@@ -73,6 +73,7 @@
   hal_audio_server
   hal_bluetooth_server
   hal_camera_server
+  hal_drm_server
   hal_graphics_composer_server
   hal_sensors_server
   hal_vr_server