Bump x86 config

diff --git a/target/linux/x86/64/config-default b/target/linux/x86/64/config-default
index b7028e49d5827e2ac0aa4dd0997e107ec1f48f0b..7d38df30305be464bfe4081beba1793b1bed1f21 100644 (file)
--- 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

diff --git a/target/linux/x86/config-4.4 b/target/linux/x86/config-4.4
index d85d1882d37031121a0abe9a9496d628081711e9..c7ec537b1e28f305f878ae5c2a3608fdc54bbb93 100644 (file)
--- a/target/linux/x86/config-4.4
+++ b/target/linux/x86/config-4.4
@@ -109,6 +109,7 @@ CONFIG_DMIID=y
 CONFIG_DMI_SCAN_MACHINE_NON_EFI_FALLBACK=y
 CONFIG_DMI_SYSFS=y
 CONFIG_DNOTIFY=y
+# CONFIG_DST_CACHE is not set
 CONFIG_DUMMY_CONSOLE=y
 CONFIG_EARLY_PRINTK=y
 # CONFIG_EARLY_PRINTK_DBGP is not set
@@ -363,6 +364,7 @@ CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 # CONFIG_SBC8360_WDT is not set
 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
 # CONFIG_SC1200_WDT is not set
+CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCSI=y
 CONFIG_SCSI_SPI_ATTRS=y