diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-08-17 16:25:29 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-08-17 16:25:29 -0300 |
| commit | 6ac0b3dbb1dba2cf60ff0cdc6eb68b7a17ea1487 (patch) | |
| tree | 48185ddae092b5438dfb3c86e930758a64832ec4 /libre/linux-libre/config.x86_64 | |
| parent | 5b63d289f07d3fbf0fd79836b9f1252b3ea331d6 (diff) | |
linux-libre-3.5.2-1.1: updating revision with changes on config files
Diffstat (limited to 'libre/linux-libre/config.x86_64')
| -rw-r--r-- | libre/linux-libre/config.x86_64 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/linux-libre/config.x86_64 b/libre/linux-libre/config.x86_64 index 350a2b905..31da569ad 100644 --- a/libre/linux-libre/config.x86_64 +++ b/libre/linux-libre/config.x86_64 @@ -335,7 +335,7 @@ CONFIG_X86_MPPARSE=y CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y CONFIG_SCHED_OMIT_FRAME_POINTER=y CONFIG_PARAVIRT_GUEST=y -# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set +CONFIG_PARAVIRT_TIME_ACCOUNTING=y CONFIG_XEN=y CONFIG_XEN_DOM0=y CONFIG_XEN_PRIVILEGED_GUEST=y |