From b090ef38d80ce9d64168b99d160e04872ce12780 Mon Sep 17 00:00:00 2001 From: RISCi_ATOM Date: Fri, 16 Mar 2018 12:21:03 -0400 Subject: [PATCH 1/1] Bump x86 config --- target/linux/x86/64/config-default | 1 + target/linux/x86/config-4.4 | 2 ++ 2 files changed, 3 insertions(+) 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 -- 2.25.1