Merge Lean's source

This commit is contained in:
CN_SZTL 2019-12-15 10:55:14 +08:00
commit 22b61900a8
No known key found for this signature in database
GPG Key ID: 6850B6345C862176

View File

@ -594,3 +594,6 @@ CONFIG_XPS=y
CONFIG_XZ_DEC_BCJ=y
CONFIG_XZ_DEC_X86=y
CONFIG_ZLIB_INFLATE=y
CONFIG_X86_INTEL_TSX_MODE_OFF=y
# CONFIG_X86_INTEL_TSX_MODE_ON is not set
# CONFIG_X86_INTEL_TSX_MODE_AUTO is not set