diff --git a/core/main.mk b/core/main.mk
index 3337a8a..aefedf0 100644
--- a/core/main.mk
+++ b/core/main.mk
@@ -230,6 +230,10 @@
 is_sdk_build := true
 endif
 
+## have selinux ##
+ifeq ($(HAVE_SELINUX),true)
+ADDITIONAL_BUILD_PROPERTIES += ro.build.selinux=1
+endif # HAVE_SELINUX
 
 ## user/userdebug ##