diff options
Diffstat (limited to 'target/linux/x86/64/config-default')
| -rw-r--r-- | target/linux/x86/64/config-default | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/target/linux/x86/64/config-default b/target/linux/x86/64/config-default index b7028e49d5..7d38df3030 100644 --- a/target/linux/x86/64/config-default +++ b/target/linux/x86/64/config-default @@ -226,6 +226,7 @@ CONFIG_NR_CPUS=8 # CONFIG_NUMA is not set CONFIG_OUTPUT_FORMAT="elf64-x86-64" CONFIG_PADATA=y +CONFIG_PAGE_TABLE_ISOLATION=y CONFIG_PARAVIRT=y CONFIG_PARAVIRT_CLOCK=y # CONFIG_PARAVIRT_DEBUG is not set |