init.sh: fix virgl support of newer kernel

[android-x86/device-generic-common.git] / selinux_diffconfig

diff --git a/selinux_diffconfig b/selinux_diffconfig
index 807ed71..4fe6c38 100644 (file)
--- a/selinux_diffconfig
+++ b/selinux_diffconfig
@@ -5,3 +5,4 @@ CONFIG_SECURITY_SELINUX_CHECKREQPROT_VALUE=1
 CONFIG_DEFAULT_SECURITY_SELINUX=y
 # CONFIG_DEFAULT_SECURITY_DAC is not set
 CONFIG_DEFAULT_SECURITY="selinux"
+# CONFIG_ANDROID_BINDER_IPC_32BIT is not set