diff --git a/device.mk b/device.mk
index cf12b257..97f2e1e5 100644
--- a/device.mk
+++ b/device.mk
@@ -215,6 +215,8 @@ PRODUCT_DEFAULT_PROPERTY_OVERRIDES += \
 
 # Mali Configuration Properties
 PRODUCT_VENDOR_PROPERTIES += \
+	vendor.mali.platform.config=/vendor/etc/mali/platform.config \
+	vendor.mali.debug.config=/vendor/etc/mali/debug.config \
 	vendor.mali.base_protected_max_core_count=3 \
 	vendor.mali.base_protected_tls_max=67108864 \
 	vendor.mali.platform_agt_frequency_khz=24576