Juan RP eff678fb7a linux3.11: enable NO_HZ_FULL_ALL and INTEL_TXT; try to sync x86/32 config with the 64bits one.		2013-09-04 00:33:51 +02:00
..
files
template