commit 4f39f7cf18a9f62e884e5a1cf8b7047a8b78add9
author LuK1337 <priv.luk@gmail.com> Wed Oct 22 12:20:10 2025 +0000
committer ParsaAslaniYC <parsaaslani.67@gmail.com> Thu Feb 05 14:16:27 2026 +0000
tree a8c71fcc4c503e9f3237e19c35ba42d3e3470713
parent d7dbf6cd2821c230cfc7140047e6ba4187e75299

ingres: overlay: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.

Change-Id: Id0fc0b2b54734dc75c4cb1bda427abcd148ea05b

device.mk

diff --git a/device.mk b/device.mk
index cd457c6..c435238 100644
--- a/device.mk
+++ b/device.mk
@@ -10,6 +10,10 @@
 # Inherit from the proprietary version
 $(call inherit-product, vendor/xiaomi/ingres/ingres-vendor.mk)
 
+# Overlay
+PRODUCT_PACKAGES += \
+    SettingsProviderResIngres
+
 # Soong namespaces
 PRODUCT_SOONG_NAMESPACES += \
     $(LOCAL_PATH)