Add SELinux policys and update FrameworkAPI

pawlet_rpi4.mk

@@ -1,4 +1,3 @@
-#
 # Copyright (C) 2021-2023 KonstaKANG
 # Copyright (C) 2025 oxmc
 #
@@ -8,15 +7,13 @@
 # Inherit from base Raspberry Pi 4 product
 $(call inherit-product, device/brcm/rpi4/aosp_rpi4.mk)
 
-# Include package removal file
-$(call inherit-product, device/pawlet/rpi/remove_packages.mk)
-
 # Device Product Configuration
 PRODUCT_AAPT_CONFIG := normal mdpi hdpi
 PRODUCT_AAPT_PREF_CONFIG := hdpi
 PRODUCT_CHARACTERISTICS := tablet,nosdcard
 
-# Remove all stock launcher variants and unwanted packages
+# Remove unwanted packages
+$(call inherit-product, device/pawlet/rpi/remove_packages.mk)
 PRODUCT_PACKAGES -= \
     Galaxy4 \
     HoloSpiralWallpaper \
@@ -28,18 +25,29 @@ PRODUCT_PACKAGES -= \
     VisualizationWallpapers \
     PhotoTable
 
-# Add lawnchair
+# Lawnchair integration
 $(call inherit-product-if-exists, vendor/lawnchair/lawnchair.mk)
-PRODUCT_PACKAGES += \
+PRODUCT_PACKAGES += Lawnchair
-    Lawnchair
 
-# Device-specific overlays
+# PawletOS Framework Components
 PRODUCT_PACKAGES += \
-    FrameworkResDevOxmcOverlay
+    FrameworkResDevOxmcOverlay \
+    pawlet-device-full
+
+# SELinux Policy Configuration (now pointing to frameworks/base/pawlet)
+BOARD_SEPOLICY_DIRS += \
+    frameworks/base/pawlet/sepolicy
+
+# FrameworkAPI properties
+PRODUCT_SYSTEM_PROPERTIES += \
+    ro.pawlet.version=1.0 \
+    ro.oxmc.os_name=PawletOS
 
 # Device identification
 PRODUCT_DEVICE := rpi4
 PRODUCT_NAME := pawlet_rpi4
-PRODUCT_BRAND := Raspberry
+PRODUCT_BRAND := PawletOS
-PRODUCT_MODEL := Raspberry Pi 4
+PRODUCT_MODEL := Raspberry Pi 4 (PawletOS)
-PRODUCT_MANUFACTURER := Raspberry
+PRODUCT_MANUFACTURER := Raspberry Pi Foundation
+PRODUCT_SYSTEM_BRAND := PawletOS
+PRODUCT_SYSTEM_NAME := pawlet_rpi4