diff options
| author | root <root@rshg054.dnsready.net> | 2012-08-18 00:02:28 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-08-18 00:02:28 +0000 |
| commit | 948da5eabcbf8d74270e661d0730ba1c203913f5 (patch) | |
| tree | 8536fd0b4622f9f6c77cb4716bf5c315c457038a /libre/linux-libre/config.x86_64 | |
| parent | bbf2c63849bdf1654e767058f277da2e983c5f0b (diff) | |
Sat Aug 18 00:02:28 UTC 2012
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 |