# CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
CONFIG_DOUBLEFAULT=y
-#
-# Memory Protections
-#
-CONFIG_GRKERNSEC_VM86=y
-
#
# PaX
#
CONFIG_PAX_SEGMEXEC=y
#
-# Miscellaneous hardening features
+# Memory Protections
+#
+CONFIG_GRKERNSEC_VM86=y
+
+#
+# Logging Options
#
# CONFIG_INTEL_TXT is not set