ingres: overlay: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.
diff --git a/overlay/SettingsProvider/Android.bp b/overlay/SettingsProvider/Android.bp
new file mode 100644
index 0000000..e79dcf4
--- /dev/null
+++ b/overlay/SettingsProvider/Android.bp
@@ -0,0 +1,10 @@
+//
+// Copyright (C) 2025 The LineageOS Project
+//
+// SPDX-License-Identifier: Apache-2.0
+//
+
+runtime_resource_overlay {
+ name: "SettingsProviderResIngres",
+ device_specific: true
+}