From: RISCi_ATOM <bob@bobcall.me>
Date: Fri, 16 Mar 2018 16:21:03 +0000 (-0400)
Subject: Bump x86 config
X-Git-Tag: v1.4.3~9
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=b090ef38d80ce9d64168b99d160e04872ce12780;p=librecmc%2Flibrecmc.git

Bump x86 config
---

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
diff --git a/target/linux/x86/config-4.4 b/target/linux/x86/config-4.4
index d85d1882d3..c7ec537b1e 100644
--- 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