Re: [Xen-devel] [RFC 2/7] linux-stubdomain: Compile Linux

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

On Tue, 3 Feb 2015, Eric Shelton wrote:
> This patch adds rules to the Makefile to retrieve Linux and build a
> minimal kernel for the stubdomain.  Using Linux kernel 3.17.8.
> 
> In order to work as a stubdomain, two patches are applied to the Linux
> kernel source.

Similarly to QEMU, we should get the changes upstream in Linux.
Failing that we could use a Linux tree on xenbits instead of a stable
kernel release and apply and needed workarounds there.


> Signed-off-by: Eric Shelton <eshelton@xxxxxxxxx>
> ---
>  stubdom-linux/.gitignore                           |    3 +
>  ...-Don-t-write-in-the-type-node-in-xenstore.patch |   30 +
>  stubdom-linux/0002-fix-remap_area_mfn_pte_fn.patch |   38 +
>  stubdom-linux/Makefile                             |   24 +-
>  stubdom-linux/stubdom-linux-config-64b             | 1510 
> ++++++++++++++++++++
>  5 files changed, 1604 insertions(+), 1 deletion(-)
>  create mode 100644 
> stubdom-linux/0001-hvc_xen-Don-t-write-in-the-type-node-in-xenstore.patch
>  create mode 100644 stubdom-linux/0002-fix-remap_area_mfn_pte_fn.patch
>  create mode 100644 stubdom-linux/stubdom-linux-config-64b
> 
> diff --git a/stubdom-linux/.gitignore b/stubdom-linux/.gitignore
> index 1b5ec08..891f0c8 100644
> --- a/stubdom-linux/.gitignore
> +++ b/stubdom-linux/.gitignore
> @@ -1,3 +1,6 @@
>  /qemu-build/
>  /qemu-remote
>  /qemu-remote-remote/
> +/linux-*.tar.xz
> +/linux-*/
> +/vmlinuz-stubdom
> diff --git 
> a/stubdom-linux/0001-hvc_xen-Don-t-write-in-the-type-node-in-xenstore.patch 
> b/stubdom-linux/0001-hvc_xen-Don-t-write-in-the-type-node-in-xenstore.patch
> new file mode 100644
> index 0000000..24fac2f
> --- /dev/null
> +++ 
> b/stubdom-linux/0001-hvc_xen-Don-t-write-in-the-type-node-in-xenstore.patch
> @@ -0,0 +1,30 @@
> +From bc93f3b6d97b1376a5f5d1dbb746d82f8003e184 Mon Sep 17 00:00:00 2001
> +From: Anthony PERARD <anthony.perard@xxxxxxxxxx>
> +Date: Tue, 20 Aug 2013 17:07:53 +0100
> +Subject: [PATCH] hvc_xen: Don't write in the type node in xenstore.
> +
> +Due to a recent commit in the Xen Project, writing to "type" is not
> +allowed any more.
> +
> +Signed-off-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>
> +---
> + drivers/tty/hvc/hvc_xen.c | 3 ---
> + 1 file changed, 3 deletions(-)
> +
> +diff --git a/drivers/tty/hvc/hvc_xen.c b/drivers/tty/hvc/hvc_xen.c
> +index 682210d..032add4 100644
> +--- a/drivers/tty/hvc/hvc_xen.c
> ++++ b/drivers/tty/hvc/hvc_xen.c
> +@@ -402,9 +402,6 @@ static int xencons_connect_backend(struct xenbus_device 
> *dev,
> +                         evtchn);
> +     if (ret)
> +             goto error_xenbus;
> +-    ret = xenbus_printf(xbt, dev->nodename, "type", "ioemu");
> +-    if (ret)
> +-            goto error_xenbus;
> +     ret = xenbus_transaction_end(xbt, 0);
> +     if (ret) {
> +             if (ret == -EAGAIN)

I think that this is already upstream


> +Anthony PERARD
> +
> diff --git a/stubdom-linux/0002-fix-remap_area_mfn_pte_fn.patch 
> b/stubdom-linux/0002-fix-remap_area_mfn_pte_fn.patch
> new file mode 100644
> index 0000000..e26b0da
> --- /dev/null
> +++ b/stubdom-linux/0002-fix-remap_area_mfn_pte_fn.patch
> @@ -0,0 +1,38 @@
> +From 61cd574f29f41046f1c709cfa9da118156babf83 Mon Sep 17 00:00:00 2001
> +From: Anthony PERARD <anthony.perard@xxxxxxxxxx>
> +Date: Fri, 1 Jun 2012 15:47:01 +0100
> +Subject: [PATCH 2/2] fix/remap_area_mfn_pte_fn
> +
> +---
> + arch/x86/xen/mmu.c | 13 ++++++++++++-
> + 1 file changed, 12 insertions(+), 1 deletion(-)
> +
> +diff --git a/arch/x86/xen/mmu.c b/arch/x86/xen/mmu.c
> +index 69f5857..999fc82 100644
> +--- a/arch/x86/xen/mmu.c
> ++++ b/arch/x86/xen/mmu.c
> +@@ -2606,7 +2606,20 @@ static int remap_area_mfn_pte_fn(pte_t *ptep, 
> pgtable_t token,
> +                              unsigned long addr, void *data)
> + {
> +     struct remap_data *rmd = data;
> +-    pte_t pte = pte_mkspecial(mfn_pte(rmd->mfn++, rmd->prot));
> ++
> ++    /* Use the native_make_pte function because we are sure we don't
> ++     * have to do any pfn->mfn translations but at the same time we
> ++     * could in a stubdom so xen_initial_domain() would return false. */
> ++    pte_t pte = pte_mkspecial(native_make_pte(((phys_addr_t)(rmd->mfn++) << 
> PAGE_SHIFT)
> ++                                              | massage_pgprot(rmd->prot)));
> ++    pteval_t val = pte_val_ma(pte);
> ++
> ++#if 0
> ++    if (pat_enabled && !WARN_ON(val & _PAGE_PAT)) {
> ++            if ((val & (_PAGE_PCD | _PAGE_PWT)) == _PAGE_PWT)
> ++                    val = (val & ~(_PAGE_PCD | _PAGE_PWT)) | _PAGE_PAT;
> ++    }
> ++#endif

I don't think you need this change anymore with a more recent kernel.
In any case, a proper fix for this issue would certainly be welcome
upstream in Linux.


> +     rmd->mmu_update->ptr = virt_to_machine(ptep).maddr;
> +     rmd->mmu_update->val = pte_val_ma(pte);
> +-- 
> +Anthony PERARD
> +
> diff --git a/stubdom-linux/Makefile b/stubdom-linux/Makefile
> index 4e84a61..31bfbee 100644
> --- a/stubdom-linux/Makefile
> +++ b/stubdom-linux/Makefile
> @@ -7,7 +7,12 @@ include $(XEN_ROOT)/Config.mk
>  QEMU_TREE=git://xenbits.xen.org/qemu-upstream-4.5-testing.git
>  QEMU_BRANCH=qemu-xen-4.5.0
>  
> -all:
> +# Linux Kernel version used
> +LINUX_V=linux-3.17.8
> +VMLINUZ=$(LINUX_V)/arch/x86/boot/bzImage
> +LINUX_URL=ftp://ftp.kernel.org/pub/linux/kernel/v3.x/$(LINUX_V).tar.xz
> +
> +all: $(VMLINUZ)

I think it is best if we git clone it.


>  qemu-build/Makefile:
>       export GIT=$(GIT); \
> @@ -53,3 +58,20 @@ qemu-build/Makefile:
>  qemu-build: qemu-build/Makefile
>  qemu-build/i386-softmmu/qemu-system-i386: qemu-build
>       $(MAKE) -C qemu-build
> +
> +$(LINUX_V).tar.xz:
> +     $(FETCHER) $@ $(LINUX_URL)
> +
> +$(LINUX_V)/Makefile $(LINUX_V)/.config: $(LINUX_V).tar.xz
> +     rm -rf $(LINUX_V)
> +     tar xf $(LINUX_V).tar.xz
> +     # Temp patches
> +     patch -d $(LINUX_V) -p1 -i ../0002-fix-remap_area_mfn_pte_fn.patch
> +     patch -d $(LINUX_V) -p1 -i 
> ../0001-hvc_xen-Don-t-write-in-the-type-node-in-xenstore.patch
> +     cp stubdom-linux-config-64b $(LINUX_V)/.config
> +
> +$(VMLINUZ): $(LINUX_V)/.config
> +     $(MAKE) -C $(LINUX_V)
> +
> +install: $(VMLINUZ)
> +     cp -f $(VMLINUZ) $(DESTDIR)/usr/local/lib/xen/boot/vmlinuz-stubdom
> diff --git a/stubdom-linux/stubdom-linux-config-64b 
> b/stubdom-linux/stubdom-linux-config-64b
> new file mode 100644
> index 0000000..d69f374
> --- /dev/null
> +++ b/stubdom-linux/stubdom-linux-config-64b
> @@ -0,0 +1,1510 @@
> +#
> +# Automatically generated file; DO NOT EDIT.
> +# Linux/x86 3.17.8 Kernel Configuration

Where does it come from?
Is it the defconfig?


> +CONFIG_64BIT=y
> +CONFIG_X86_64=y
> +CONFIG_X86=y
> +CONFIG_INSTRUCTION_DECODER=y
> +CONFIG_OUTPUT_FORMAT="elf64-x86-64"
> +CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
> +CONFIG_LOCKDEP_SUPPORT=y
> +CONFIG_STACKTRACE_SUPPORT=y
> +CONFIG_HAVE_LATENCYTOP_SUPPORT=y
> +CONFIG_MMU=y
> +CONFIG_NEED_DMA_MAP_STATE=y
> +CONFIG_NEED_SG_DMA_LENGTH=y
> +CONFIG_GENERIC_ISA_DMA=y
> +CONFIG_GENERIC_BUG=y
> +CONFIG_GENERIC_BUG_RELATIVE_POINTERS=y
> +CONFIG_GENERIC_HWEIGHT=y
> +CONFIG_ARCH_MAY_HAVE_PC_FDC=y
> +CONFIG_RWSEM_XCHGADD_ALGORITHM=y
> +CONFIG_GENERIC_CALIBRATE_DELAY=y
> +CONFIG_ARCH_HAS_CPU_RELAX=y
> +CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
> +CONFIG_HAVE_SETUP_PER_CPU_AREA=y
> +CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
> +CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y
> +CONFIG_ARCH_HIBERNATION_POSSIBLE=y
> +CONFIG_ARCH_SUSPEND_POSSIBLE=y
> +CONFIG_ARCH_WANT_HUGE_PMD_SHARE=y
> +CONFIG_ARCH_WANT_GENERAL_HUGETLB=y
> +CONFIG_ZONE_DMA32=y
> +CONFIG_AUDIT_ARCH=y
> +CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
> +CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
> +CONFIG_X86_64_SMP=y
> +CONFIG_X86_HT=y
> +CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-rdi -fcall-saved-rsi 
> -fcall-saved-rdx -fcall-saved-rcx -fcall-saved-r8 -fcall-saved-r9 
> -fcall-saved-r10 -fcall-saved-r11"
> +CONFIG_ARCH_SUPPORTS_UPROBES=y
> +CONFIG_FIX_EARLYCON_MEM=y
> +CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
> +CONFIG_IRQ_WORK=y
> +CONFIG_BUILDTIME_EXTABLE_SORT=y
> +
> +#
> +# General setup
> +#
> +CONFIG_INIT_ENV_ARG_LIMIT=32
> +CONFIG_CROSS_COMPILE=""
> +# CONFIG_COMPILE_TEST is not set
> +CONFIG_LOCALVERSION="-XenStubdom"
> +# CONFIG_LOCALVERSION_AUTO is not set
> +CONFIG_HAVE_KERNEL_GZIP=y
> +CONFIG_HAVE_KERNEL_BZIP2=y
> +CONFIG_HAVE_KERNEL_LZMA=y
> +CONFIG_HAVE_KERNEL_XZ=y
> +CONFIG_HAVE_KERNEL_LZO=y
> +CONFIG_HAVE_KERNEL_LZ4=y
> +CONFIG_KERNEL_GZIP=y
> +# CONFIG_KERNEL_BZIP2 is not set
> +# CONFIG_KERNEL_LZMA is not set
> +# CONFIG_KERNEL_XZ is not set
> +# CONFIG_KERNEL_LZO is not set
> +# CONFIG_KERNEL_LZ4 is not set
> +CONFIG_DEFAULT_HOSTNAME="stubdom"
> +# CONFIG_SWAP is not set
> +# CONFIG_SYSVIPC is not set
> +# CONFIG_POSIX_MQUEUE is not set
> +# CONFIG_CROSS_MEMORY_ATTACH is not set
> +# CONFIG_FHANDLE is not set
> +CONFIG_USELIB=y
> +# CONFIG_AUDIT is not set
> +CONFIG_HAVE_ARCH_AUDITSYSCALL=y
> +
> +#
> +# IRQ subsystem
> +#
> +CONFIG_GENERIC_IRQ_PROBE=y
> +CONFIG_GENERIC_IRQ_SHOW=y
> +CONFIG_GENERIC_IRQ_LEGACY_ALLOC_HWIRQ=y
> +CONFIG_GENERIC_PENDING_IRQ=y
> +CONFIG_IRQ_DOMAIN=y
> +CONFIG_IRQ_FORCED_THREADING=y
> +CONFIG_SPARSE_IRQ=y
> +CONFIG_CLOCKSOURCE_WATCHDOG=y
> +CONFIG_ARCH_CLOCKSOURCE_DATA=y
> +CONFIG_CLOCKSOURCE_VALIDATE_LAST_CYCLE=y
> +CONFIG_GENERIC_TIME_VSYSCALL=y
> +CONFIG_GENERIC_CLOCKEVENTS=y
> +CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
> +CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
> +CONFIG_GENERIC_CLOCKEVENTS_MIN_ADJUST=y
> +CONFIG_GENERIC_CMOS_UPDATE=y
> +
> +#
> +# Timers subsystem
> +#
> +CONFIG_TICK_ONESHOT=y
> +CONFIG_NO_HZ_COMMON=y
> +# CONFIG_HZ_PERIODIC is not set
> +CONFIG_NO_HZ_IDLE=y
> +# CONFIG_NO_HZ_FULL is not set
> +# CONFIG_NO_HZ is not set
> +# CONFIG_HIGH_RES_TIMERS is not set
> +
> +#
> +# CPU/Task time and stats accounting
> +#
> +CONFIG_VIRT_CPU_ACCOUNTING=y
> +# CONFIG_TICK_CPU_ACCOUNTING is not set
> +CONFIG_VIRT_CPU_ACCOUNTING_GEN=y
> +# CONFIG_IRQ_TIME_ACCOUNTING is not set
> +# CONFIG_BSD_PROCESS_ACCT is not set
> +# CONFIG_TASKSTATS is not set
> +
> +#
> +# RCU Subsystem
> +#
> +CONFIG_TREE_RCU=y
> +# CONFIG_PREEMPT_RCU is not set
> +CONFIG_RCU_STALL_COMMON=y
> +CONFIG_CONTEXT_TRACKING=y
> +# CONFIG_RCU_USER_QS is not set
> +# CONFIG_CONTEXT_TRACKING_FORCE is not set
> +CONFIG_RCU_FANOUT=64
> +CONFIG_RCU_FANOUT_LEAF=16
> +# CONFIG_RCU_FANOUT_EXACT is not set
> +# CONFIG_RCU_FAST_NO_HZ is not set
> +# CONFIG_TREE_RCU_TRACE is not set
> +# CONFIG_RCU_NOCB_CPU is not set
> +# CONFIG_BUILD_BIN2C is not set
> +# CONFIG_IKCONFIG is not set
> +CONFIG_LOG_BUF_SHIFT=14
> +CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
> +CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y
> +CONFIG_ARCH_SUPPORTS_NUMA_BALANCING=y
> +CONFIG_ARCH_SUPPORTS_INT128=y
> +CONFIG_ARCH_WANTS_PROT_NUMA_PROT_NONE=y
> +# CONFIG_CGROUPS is not set
> +# CONFIG_CHECKPOINT_RESTORE is not set
> +# CONFIG_NAMESPACES is not set
> +# CONFIG_SCHED_AUTOGROUP is not set
> +CONFIG_SYSFS_DEPRECATED=y
> +# CONFIG_SYSFS_DEPRECATED_V2 is not set
> +# CONFIG_RELAY is not set
> +CONFIG_BLK_DEV_INITRD=y
> +CONFIG_INITRAMFS_SOURCE=""
> +CONFIG_RD_GZIP=y
> +CONFIG_RD_BZIP2=y
> +CONFIG_RD_LZMA=y
> +CONFIG_RD_XZ=y
> +CONFIG_RD_LZO=y
> +CONFIG_RD_LZ4=y
> +# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
> +CONFIG_ANON_INODES=y
> +CONFIG_SYSCTL_EXCEPTION_TRACE=y
> +CONFIG_HAVE_PCSPKR_PLATFORM=y
> +CONFIG_EXPERT=y
> +CONFIG_SGETMASK_SYSCALL=y
> +CONFIG_SYSFS_SYSCALL=y
> +CONFIG_KALLSYMS=y
> +# CONFIG_KALLSYMS_ALL is not set
> +CONFIG_PRINTK=y
> +CONFIG_BUG=y
> +CONFIG_PCSPKR_PLATFORM=y
> +CONFIG_BASE_FULL=y
> +CONFIG_FUTEX=y
> +CONFIG_EPOLL=y
> +CONFIG_SIGNALFD=y
> +CONFIG_TIMERFD=y
> +CONFIG_EVENTFD=y
> +CONFIG_SHMEM=y
> +CONFIG_AIO=y
> +# CONFIG_EMBEDDED is not set
> +CONFIG_HAVE_PERF_EVENTS=y
> +
> +#
> +# Kernel Performance Events And Counters
> +#
> +CONFIG_PERF_EVENTS=y
> +# CONFIG_DEBUG_PERF_USE_VMALLOC is not set
> +# CONFIG_VM_EVENT_COUNTERS is not set
> +CONFIG_SLUB_DEBUG=y
> +CONFIG_COMPAT_BRK=y
> +# CONFIG_SLAB is not set
> +CONFIG_SLUB=y
> +# CONFIG_SLOB is not set
> +CONFIG_SLUB_CPU_PARTIAL=y
> +# CONFIG_PROFILING is not set
> +CONFIG_HAVE_OPROFILE=y
> +CONFIG_OPROFILE_NMI_TIMER=y
> +CONFIG_JUMP_LABEL=y
> +# CONFIG_UPROBES is not set
> +# CONFIG_HAVE_64BIT_ALIGNED_ACCESS is not set
> +CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
> +CONFIG_ARCH_USE_BUILTIN_BSWAP=y
> +CONFIG_HAVE_IOREMAP_PROT=y
> +CONFIG_HAVE_KPROBES=y
> +CONFIG_HAVE_KRETPROBES=y
> +CONFIG_HAVE_OPTPROBES=y
> +CONFIG_HAVE_KPROBES_ON_FTRACE=y
> +CONFIG_HAVE_ARCH_TRACEHOOK=y
> +CONFIG_HAVE_DMA_ATTRS=y
> +CONFIG_HAVE_DMA_CONTIGUOUS=y
> +CONFIG_GENERIC_SMP_IDLE_THREAD=y
> +CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
> +CONFIG_HAVE_DMA_API_DEBUG=y
> +CONFIG_HAVE_HW_BREAKPOINT=y
> +CONFIG_HAVE_MIXED_BREAKPOINTS_REGS=y
> +CONFIG_HAVE_USER_RETURN_NOTIFIER=y
> +CONFIG_HAVE_PERF_EVENTS_NMI=y
> +CONFIG_HAVE_PERF_REGS=y
> +CONFIG_HAVE_PERF_USER_STACK_DUMP=y
> +CONFIG_HAVE_ARCH_JUMP_LABEL=y
> +CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y
> +CONFIG_HAVE_ALIGNED_STRUCT_PAGE=y
> +CONFIG_HAVE_CMPXCHG_LOCAL=y
> +CONFIG_HAVE_CMPXCHG_DOUBLE=y
> +CONFIG_HAVE_ARCH_SECCOMP_FILTER=y
> +CONFIG_HAVE_CC_STACKPROTECTOR=y
> +CONFIG_CC_STACKPROTECTOR=y
> +# CONFIG_CC_STACKPROTECTOR_NONE is not set
> +CONFIG_CC_STACKPROTECTOR_REGULAR=y
> +# CONFIG_CC_STACKPROTECTOR_STRONG is not set
> +CONFIG_HAVE_CONTEXT_TRACKING=y
> +CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
> +CONFIG_HAVE_IRQ_TIME_ACCOUNTING=y
> +CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE=y
> +CONFIG_HAVE_ARCH_SOFT_DIRTY=y
> +CONFIG_MODULES_USE_ELF_RELA=y
> +CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK=y
> +
> +#
> +# GCOV-based kernel profiling
> +#
> +# CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
> +CONFIG_SLABINFO=y
> +CONFIG_RT_MUTEXES=y
> +CONFIG_BASE_SMALL=0
> +# CONFIG_MODULES is not set
> +CONFIG_STOP_MACHINE=y
> +CONFIG_BLOCK=y
> +# CONFIG_BLK_DEV_BSG is not set
> +# CONFIG_BLK_DEV_BSGLIB is not set
> +# CONFIG_BLK_DEV_INTEGRITY is not set
> +CONFIG_BLK_CMDLINE_PARSER=y
> +
> +#
> +# Partition Types
> +#
> +# CONFIG_PARTITION_ADVANCED is not set
> +CONFIG_MSDOS_PARTITION=y
> +CONFIG_EFI_PARTITION=y
> +
> +#
> +# IO Schedulers
> +#
> +CONFIG_IOSCHED_NOOP=y
> +# CONFIG_IOSCHED_DEADLINE is not set
> +# CONFIG_IOSCHED_CFQ is not set
> +CONFIG_DEFAULT_NOOP=y
> +CONFIG_DEFAULT_IOSCHED="noop"
> +CONFIG_UNINLINE_SPIN_UNLOCK=y
> +CONFIG_INLINE_SPIN_UNLOCK_IRQ=y
> +CONFIG_INLINE_READ_UNLOCK=y
> +CONFIG_INLINE_READ_UNLOCK_IRQ=y
> +CONFIG_INLINE_WRITE_UNLOCK=y
> +CONFIG_INLINE_WRITE_UNLOCK_IRQ=y
> +CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=y
> +CONFIG_MUTEX_SPIN_ON_OWNER=y
> +CONFIG_RWSEM_SPIN_ON_OWNER=y
> +CONFIG_ARCH_USE_QUEUE_RWLOCK=y
> +CONFIG_QUEUE_RWLOCK=y
> +CONFIG_FREEZER=y
> +
> +#
> +# Processor type and features
> +#
> +CONFIG_ZONE_DMA=y
> +CONFIG_SMP=y
> +CONFIG_X86_MPPARSE=y
> +# CONFIG_X86_EXTENDED_PLATFORM is not set
> +# CONFIG_SCHED_OMIT_FRAME_POINTER is not set
> +CONFIG_HYPERVISOR_GUEST=y
> +CONFIG_PARAVIRT=y
> +CONFIG_PARAVIRT_DEBUG=y
> +CONFIG_PARAVIRT_SPINLOCKS=y
> +CONFIG_XEN=y
> +CONFIG_XEN_MAX_DOMAIN_MEMORY=500
> +CONFIG_XEN_SAVE_RESTORE=y
> +# CONFIG_KVM_GUEST is not set
> +# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
> +CONFIG_PARAVIRT_CLOCK=y
> +CONFIG_NO_BOOTMEM=y
> +# CONFIG_MEMTEST is not set
> +# CONFIG_MK8 is not set
> +# CONFIG_MPSC is not set
> +# CONFIG_MCORE2 is not set
> +# CONFIG_MATOM is not set
> +CONFIG_GENERIC_CPU=y
> +CONFIG_X86_INTERNODE_CACHE_SHIFT=6
> +CONFIG_X86_L1_CACHE_SHIFT=6
> +CONFIG_X86_TSC=y
> +CONFIG_X86_CMPXCHG64=y
> +CONFIG_X86_CMOV=y
> +CONFIG_X86_MINIMUM_CPU_FAMILY=64
> +CONFIG_X86_DEBUGCTLMSR=y
> +# CONFIG_PROCESSOR_SELECT is not set
> +CONFIG_CPU_SUP_INTEL=y
> +CONFIG_CPU_SUP_AMD=y
> +CONFIG_CPU_SUP_CENTAUR=y
> +CONFIG_HPET_TIMER=y
> +CONFIG_DMI=y
> +CONFIG_SWIOTLB=y
> +CONFIG_IOMMU_HELPER=y
> +# CONFIG_MAXSMP is not set
> +CONFIG_NR_CPUS=8
> +# CONFIG_SCHED_SMT is not set
> +CONFIG_SCHED_MC=y
> +CONFIG_PREEMPT_NONE=y
> +# CONFIG_PREEMPT_VOLUNTARY is not set
> +# CONFIG_PREEMPT is not set
> +CONFIG_X86_LOCAL_APIC=y
> +CONFIG_X86_IO_APIC=y
> +# CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS is not set
> +# CONFIG_X86_MCE is not set
> +CONFIG_X86_16BIT=y
> +CONFIG_X86_ESPFIX64=y
> +# CONFIG_I8K is not set
> +# CONFIG_MICROCODE is not set
> +# CONFIG_MICROCODE_INTEL_EARLY is not set
> +# CONFIG_MICROCODE_AMD_EARLY is not set
> +# CONFIG_X86_MSR is not set
> +# CONFIG_X86_CPUID is not set
> +CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
> +CONFIG_ARCH_DMA_ADDR_T_64BIT=y
> +# CONFIG_DIRECT_GBPAGES is not set
> +# CONFIG_NUMA is not set
> +CONFIG_ARCH_SPARSEMEM_ENABLE=y
> +CONFIG_ARCH_SPARSEMEM_DEFAULT=y
> +CONFIG_ARCH_SELECT_MEMORY_MODEL=y
> +CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
> +CONFIG_SELECT_MEMORY_MODEL=y
> +CONFIG_SPARSEMEM_MANUAL=y
> +CONFIG_SPARSEMEM=y
> +CONFIG_HAVE_MEMORY_PRESENT=y
> +CONFIG_SPARSEMEM_EXTREME=y
> +CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
> +CONFIG_SPARSEMEM_ALLOC_MEM_MAP_TOGETHER=y
> +CONFIG_SPARSEMEM_VMEMMAP=y
> +CONFIG_HAVE_MEMBLOCK=y
> +CONFIG_HAVE_MEMBLOCK_NODE_MAP=y
> +CONFIG_ARCH_DISCARD_MEMBLOCK=y
> +# CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
> +# CONFIG_MEMORY_HOTPLUG is not set
> +CONFIG_PAGEFLAGS_EXTENDED=y
> +CONFIG_SPLIT_PTLOCK_CPUS=4
> +CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
> +# CONFIG_COMPACTION is not set
> +CONFIG_PHYS_ADDR_T_64BIT=y
> +CONFIG_ZONE_DMA_FLAG=1
> +CONFIG_BOUNCE=y
> +CONFIG_VIRT_TO_BUS=y
> +CONFIG_MMU_NOTIFIER=y
> +# CONFIG_KSM is not set
> +CONFIG_DEFAULT_MMAP_MIN_ADDR=4096
> +# CONFIG_TRANSPARENT_HUGEPAGE is not set
> +# CONFIG_CLEANCACHE is not set
> +# CONFIG_CMA is not set
> +# CONFIG_ZPOOL is not set
> +# CONFIG_ZBUD is not set
> +# CONFIG_ZSMALLOC is not set
> +CONFIG_GENERIC_EARLY_IOREMAP=y
> +# CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
> +CONFIG_X86_RESERVE_LOW=32
> +CONFIG_MTRR=y
> +# CONFIG_MTRR_SANITIZER is not set
> +CONFIG_X86_PAT=y
> +CONFIG_ARCH_USES_PG_UNCACHED=y
> +CONFIG_ARCH_RANDOM=y
> +# CONFIG_X86_SMAP is not set
> +# CONFIG_SECCOMP is not set
> +# CONFIG_HZ_100 is not set
> +CONFIG_HZ_250=y
> +# CONFIG_HZ_300 is not set
> +# CONFIG_HZ_1000 is not set
> +CONFIG_HZ=250
> +# CONFIG_SCHED_HRTICK is not set
> +# CONFIG_KEXEC is not set
> +# CONFIG_CRASH_DUMP is not set
> +CONFIG_PHYSICAL_START=0x1000000
> +CONFIG_RELOCATABLE=y
> +# CONFIG_RANDOMIZE_BASE is not set
> +CONFIG_PHYSICAL_ALIGN=0x1000000
> +CONFIG_HOTPLUG_CPU=y
> +# CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
> +# CONFIG_DEBUG_HOTPLUG_CPU0 is not set
> +# CONFIG_CMDLINE_BOOL is not set
> +CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
> +
> +#
> +# Power management and ACPI options
> +#
> +# CONFIG_SUSPEND is not set
> +CONFIG_HIBERNATE_CALLBACKS=y
> +CONFIG_PM_SLEEP=y
> +CONFIG_PM_SLEEP_SMP=y
> +# CONFIG_PM_AUTOSLEEP is not set
> +# CONFIG_PM_WAKELOCKS is not set
> +# CONFIG_PM_RUNTIME is not set
> +CONFIG_PM=y
> +# CONFIG_PM_DEBUG is not set
> +# CONFIG_WQ_POWER_EFFICIENT_DEFAULT is not set
> +# CONFIG_SFI is not set
> +
> +#
> +# CPU Frequency scaling
> +#
> +# CONFIG_CPU_FREQ is not set
> +
> +#
> +# CPU Idle
> +#
> +# CONFIG_CPU_IDLE is not set
> +# CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
> +
> +#
> +# Memory power savings
> +#
> +# CONFIG_I7300_IDLE is not set
> +
> +#
> +# Bus options (PCI etc.)
> +#
> +# CONFIG_PCI is not set
> +CONFIG_PCI_LABEL=y
> +CONFIG_ISA_DMA_API=y
> +# CONFIG_PCCARD is not set
> +CONFIG_X86_SYSFB=y
> +
> +#
> +# Executable file formats / Emulations
> +#
> +CONFIG_BINFMT_ELF=y
> +CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y
> +CONFIG_BINFMT_SCRIPT=y
> +# CONFIG_HAVE_AOUT is not set
> +# CONFIG_BINFMT_MISC is not set
> +# CONFIG_COREDUMP is not set
> +# CONFIG_IA32_EMULATION is not set
> +CONFIG_X86_DEV_DMA_OPS=y
> +CONFIG_NET=y
> +
> +#
> +# Networking options
> +#
> +CONFIG_PACKET=y
> +# CONFIG_PACKET_DIAG is not set
> +CONFIG_UNIX=y
> +# CONFIG_UNIX_DIAG is not set
> +# CONFIG_XFRM_USER is not set
> +# CONFIG_NET_KEY is not set
> +CONFIG_INET=y
> +# CONFIG_IP_MULTICAST is not set
> +# CONFIG_IP_ADVANCED_ROUTER is not set
> +# CONFIG_IP_PNP is not set
> +# CONFIG_NET_IPIP is not set
> +# CONFIG_NET_IPGRE_DEMUX is not set
> +# CONFIG_NET_IP_TUNNEL is not set
> +# CONFIG_SYN_COOKIES is not set
> +# CONFIG_NET_UDP_TUNNEL is not set
> +# CONFIG_INET_AH is not set
> +# CONFIG_INET_ESP is not set
> +# CONFIG_INET_IPCOMP is not set
> +# CONFIG_INET_XFRM_TUNNEL is not set
> +# CONFIG_INET_TUNNEL is not set
> +# CONFIG_INET_XFRM_MODE_TRANSPORT is not set
> +# CONFIG_INET_XFRM_MODE_TUNNEL is not set
> +# CONFIG_INET_XFRM_MODE_BEET is not set
> +# CONFIG_INET_LRO is not set
> +# CONFIG_INET_DIAG is not set
> +# CONFIG_TCP_CONG_ADVANCED is not set
> +CONFIG_TCP_CONG_CUBIC=y
> +CONFIG_DEFAULT_TCP_CONG="cubic"
> +# CONFIG_TCP_MD5SIG is not set
> +# CONFIG_IPV6 is not set
> +# CONFIG_NETWORK_SECMARK is not set
> +# CONFIG_NET_PTP_CLASSIFY is not set
> +# CONFIG_NETWORK_PHY_TIMESTAMPING is not set
> +# CONFIG_NETFILTER is not set
> +# CONFIG_IP_DCCP is not set
> +# CONFIG_IP_SCTP is not set
> +# CONFIG_RDS is not set
> +# CONFIG_TIPC is not set
> +# CONFIG_ATM is not set
> +# CONFIG_L2TP is not set
> +CONFIG_STP=y
> +CONFIG_BRIDGE=y
> +# CONFIG_BRIDGE_IGMP_SNOOPING is not set
> +CONFIG_HAVE_NET_DSA=y
> +# CONFIG_VLAN_8021Q is not set
> +# CONFIG_DECNET is not set
> +CONFIG_LLC=y
> +# CONFIG_LLC2 is not set
> +# CONFIG_IPX is not set
> +# CONFIG_ATALK is not set
> +# CONFIG_X25 is not set
> +# CONFIG_LAPB is not set
> +# CONFIG_PHONET is not set
> +# CONFIG_IEEE802154 is not set
> +# CONFIG_NET_SCHED is not set
> +# CONFIG_DCB is not set
> +# CONFIG_BATMAN_ADV is not set
> +# CONFIG_OPENVSWITCH is not set
> +# CONFIG_VSOCKETS is not set
> +# CONFIG_NETLINK_MMAP is not set
> +# CONFIG_NETLINK_DIAG is not set
> +# CONFIG_NET_MPLS_GSO is not set
> +# CONFIG_HSR is not set
> +CONFIG_RPS=y
> +CONFIG_RFS_ACCEL=y
> +CONFIG_XPS=y
> +CONFIG_NET_RX_BUSY_POLL=y
> +CONFIG_BQL=y
> +CONFIG_NET_FLOW_LIMIT=y
> +
> +#
> +# Network testing
> +#
> +# CONFIG_NET_PKTGEN is not set
> +# CONFIG_HAMRADIO is not set
> +# CONFIG_CAN is not set
> +# CONFIG_IRDA is not set
> +# CONFIG_BT is not set
> +# CONFIG_AF_RXRPC is not set
> +# CONFIG_WIRELESS is not set
> +# CONFIG_WIMAX is not set
> +# CONFIG_RFKILL is not set
> +# CONFIG_NET_9P is not set
> +# CONFIG_CAIF is not set
> +# CONFIG_CEPH_LIB is not set
> +# CONFIG_NFC is not set
> +CONFIG_HAVE_BPF_JIT=y
> +
> +#
> +# Device Drivers
> +#
> +
> +#
> +# Generic Driver Options
> +#
> +CONFIG_UEVENT_HELPER=y
> +CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
> +CONFIG_DEVTMPFS=y
> +CONFIG_DEVTMPFS_MOUNT=y
> +CONFIG_STANDALONE=y
> +# CONFIG_PREVENT_FIRMWARE_BUILD is not set
> +CONFIG_FW_LOADER=y
> +# CONFIG_FIRMWARE_IN_KERNEL is not set
> +CONFIG_EXTRA_FIRMWARE=""
> +# CONFIG_FW_LOADER_USER_HELPER_FALLBACK is not set
> +# CONFIG_DEBUG_DRIVER is not set
> +# CONFIG_DEBUG_DEVRES is not set
> +CONFIG_SYS_HYPERVISOR=y
> +# CONFIG_GENERIC_CPU_DEVICES is not set
> +CONFIG_GENERIC_CPU_AUTOPROBE=y
> +# CONFIG_DMA_SHARED_BUFFER is not set
> +
> +#
> +# Bus devices
> +#
> +# CONFIG_CONNECTOR is not set
> +# CONFIG_MTD is not set
> +CONFIG_ARCH_MIGHT_HAVE_PC_PARPORT=y
> +# CONFIG_PARPORT is not set
> +CONFIG_BLK_DEV=y
> +# CONFIG_BLK_DEV_NULL_BLK is not set
> +# CONFIG_BLK_DEV_FD is not set
> +# CONFIG_BLK_DEV_COW_COMMON is not set
> +# CONFIG_BLK_DEV_LOOP is not set
> +# CONFIG_BLK_DEV_DRBD is not set
> +# CONFIG_BLK_DEV_NBD is not set
> +# CONFIG_BLK_DEV_RAM is not set
> +# CONFIG_CDROM_PKTCDVD is not set
> +# CONFIG_ATA_OVER_ETH is not set
> +CONFIG_XEN_BLKDEV_FRONTEND=y
> +# CONFIG_BLK_DEV_HD is not set
> +# CONFIG_BLK_DEV_RBD is not set
> +
> +#
> +# Misc devices
> +#
> +# CONFIG_SENSORS_LIS3LV02D is not set
> +# CONFIG_DUMMY_IRQ is not set
> +# CONFIG_ENCLOSURE_SERVICES is not set
> +# CONFIG_VMWARE_BALLOON is not set
> +# CONFIG_SRAM is not set
> +# CONFIG_C2PORT is not set
> +
> +#
> +# EEPROM support
> +#
> +# CONFIG_EEPROM_93CX6 is not set
> +
> +#
> +# Texas Instruments shared transport line discipline
> +#
> +
> +#
> +# Altera FPGA firmware download module
> +#
> +
> +#
> +# Intel MIC Bus Driver
> +#
> +
> +#
> +# Intel MIC Host Driver
> +#
> +
> +#
> +# Intel MIC Card Driver
> +#
> +# CONFIG_ECHO is not set
> +CONFIG_HAVE_IDE=y
> +# CONFIG_IDE is not set
> +
> +#
> +# SCSI device support
> +#
> +CONFIG_SCSI_MOD=y
> +# CONFIG_RAID_ATTRS is not set
> +# CONFIG_SCSI is not set
> +# CONFIG_SCSI_DMA is not set
> +# CONFIG_SCSI_NETLINK is not set
> +# CONFIG_ATA is not set
> +# CONFIG_MD is not set
> +# CONFIG_MACINTOSH_DRIVERS is not set
> +CONFIG_NETDEVICES=y
> +CONFIG_NET_CORE=y
> +# CONFIG_BONDING is not set
> +# CONFIG_DUMMY is not set
> +# CONFIG_EQUALIZER is not set
> +# CONFIG_NET_TEAM is not set
> +# CONFIG_MACVLAN is not set
> +# CONFIG_VXLAN is not set
> +# CONFIG_NETCONSOLE is not set
> +# CONFIG_NETPOLL is not set
> +# CONFIG_NET_POLL_CONTROLLER is not set
> +CONFIG_TUN=y
> +# CONFIG_VETH is not set
> +# CONFIG_NLMON is not set
> +
> +#
> +# CAIF transport drivers
> +#
> +# CONFIG_VHOST_NET is not set
> +
> +#
> +# Distributed Switch Architecture drivers
> +#
> +# CONFIG_NET_DSA_MV88E6XXX is not set
> +# CONFIG_NET_DSA_MV88E6060 is not set
> +# CONFIG_NET_DSA_MV88E6XXX_NEED_PPU is not set
> +# CONFIG_NET_DSA_MV88E6131 is not set
> +# CONFIG_NET_DSA_MV88E6123_61_65 is not set
> +# CONFIG_ETHERNET is not set
> +# CONFIG_PHYLIB is not set
> +# CONFIG_PPP is not set
> +# CONFIG_SLIP is not set
> +
> +#
> +# Host-side USB support is needed for USB Network Adapter support
> +#
> +# CONFIG_WLAN is not set
> +
> +#
> +# Enable WiMAX (Networking options) to see the WiMAX drivers
> +#
> +# CONFIG_WAN is not set
> +CONFIG_XEN_NETDEV_FRONTEND=y
> +# CONFIG_ISDN is not set
> +
> +#
> +# Input device support
> +#
> +CONFIG_INPUT=y
> +# CONFIG_INPUT_FF_MEMLESS is not set
> +# CONFIG_INPUT_POLLDEV is not set
> +# CONFIG_INPUT_SPARSEKMAP is not set
> +# CONFIG_INPUT_MATRIXKMAP is not set
> +
> +#
> +# Userland interfaces
> +#
> +CONFIG_INPUT_MOUSEDEV=y
> +# CONFIG_INPUT_MOUSEDEV_PSAUX is not set
> +CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
> +CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
> +# CONFIG_INPUT_JOYDEV is not set
> +# CONFIG_INPUT_EVDEV is not set
> +# CONFIG_INPUT_EVBUG is not set
> +
> +#
> +# Input Device Drivers
> +#
> +CONFIG_INPUT_KEYBOARD=y
> +CONFIG_KEYBOARD_ATKBD=y
> +# CONFIG_KEYBOARD_LKKBD is not set
> +# CONFIG_KEYBOARD_NEWTON is not set
> +# CONFIG_KEYBOARD_OPENCORES is not set
> +# CONFIG_KEYBOARD_STOWAWAY is not set
> +# CONFIG_KEYBOARD_SUNKBD is not set
> +# CONFIG_KEYBOARD_XTKBD is not set
> +# CONFIG_INPUT_MOUSE is not set
> +# CONFIG_INPUT_JOYSTICK is not set
> +# CONFIG_INPUT_TABLET is not set
> +# CONFIG_INPUT_TOUCHSCREEN is not set
> +CONFIG_INPUT_MISC=y
> +# CONFIG_INPUT_AD714X is not set
> +# CONFIG_INPUT_PCSPKR is not set
> +# CONFIG_INPUT_UINPUT is not set
> +# CONFIG_INPUT_ADXL34X is not set
> +# CONFIG_INPUT_CMA3000 is not set
> +CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
> +# CONFIG_INPUT_IDEAPAD_SLIDEBAR is not set
> +
> +#
> +# Hardware I/O ports
> +#
> +CONFIG_SERIO=y
> +CONFIG_ARCH_MIGHT_HAVE_PC_SERIO=y
> +CONFIG_SERIO_I8042=y
> +# CONFIG_SERIO_SERPORT is not set
> +# CONFIG_SERIO_CT82C710 is not set
> +CONFIG_SERIO_LIBPS2=y
> +# CONFIG_SERIO_RAW is not set
> +# CONFIG_SERIO_ALTERA_PS2 is not set
> +# CONFIG_SERIO_PS2MULT is not set
> +# CONFIG_SERIO_ARC_PS2 is not set
> +# CONFIG_GAMEPORT is not set
> +
> +#
> +# Character devices
> +#
> +CONFIG_TTY=y
> +CONFIG_VT=y
> +CONFIG_CONSOLE_TRANSLATIONS=y
> +CONFIG_VT_CONSOLE=y
> +CONFIG_VT_CONSOLE_SLEEP=y
> +CONFIG_HW_CONSOLE=y
> +CONFIG_VT_HW_CONSOLE_BINDING=y
> +CONFIG_UNIX98_PTYS=y
> +# CONFIG_DEVPTS_MULTIPLE_INSTANCES is not set
> +# CONFIG_LEGACY_PTYS is not set
> +# CONFIG_SERIAL_NONSTANDARD is not set
> +# CONFIG_N_GSM is not set
> +# CONFIG_TRACE_SINK is not set
> +# CONFIG_DEVKMEM is not set
> +
> +#
> +# Serial drivers
> +#
> +# CONFIG_SERIAL_8250 is not set
> +
> +#
> +# Non-8250 serial port support
> +#
> +# CONFIG_SERIAL_SCCNXP is not set
> +# CONFIG_SERIAL_ALTERA_JTAGUART is not set
> +# CONFIG_SERIAL_ALTERA_UART is not set
> +# CONFIG_SERIAL_ARC is not set
> +# CONFIG_SERIAL_FSL_LPUART is not set
> +# CONFIG_TTY_PRINTK is not set
> +CONFIG_HVC_DRIVER=y
> +CONFIG_HVC_IRQ=y
> +CONFIG_HVC_XEN=y
> +CONFIG_HVC_XEN_FRONTEND=y
> +# CONFIG_IPMI_HANDLER is not set
> +# CONFIG_HW_RANDOM is not set
> +# CONFIG_NVRAM is not set
> +# CONFIG_R3964 is not set
> +# CONFIG_MWAVE is not set
> +# CONFIG_RAW_DRIVER is not set
> +# CONFIG_HANGCHECK_TIMER is not set
> +# CONFIG_TCG_TPM is not set
> +# CONFIG_TELCLOCK is not set
> +
> +#
> +# I2C support
> +#
> +# CONFIG_I2C is not set
> +# CONFIG_SPI is not set
> +# CONFIG_SPMI is not set
> +# CONFIG_HSI is not set
> +
> +#
> +# PPS support
> +#
> +# CONFIG_PPS is not set
> +
> +#
> +# PPS generators support
> +#
> +
> +#
> +# PTP clock support
> +#
> +# CONFIG_PTP_1588_CLOCK is not set
> +
> +#
> +# Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
> +#
> +CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
> +# CONFIG_GPIOLIB is not set
> +# CONFIG_W1 is not set
> +# CONFIG_POWER_SUPPLY is not set
> +# CONFIG_POWER_AVS is not set
> +# CONFIG_HWMON is not set
> +# CONFIG_THERMAL is not set
> +# CONFIG_WATCHDOG is not set
> +CONFIG_SSB_POSSIBLE=y
> +
> +#
> +# Sonics Silicon Backplane
> +#
> +# CONFIG_SSB is not set
> +CONFIG_BCMA_POSSIBLE=y
> +
> +#
> +# Broadcom specific AMBA
> +#
> +# CONFIG_BCMA is not set
> +
> +#
> +# Multifunction device drivers
> +#
> +# CONFIG_MFD_CORE is not set
> +# CONFIG_MFD_CROS_EC is not set
> +# CONFIG_HTC_PASIC3 is not set
> +# CONFIG_MFD_KEMPLD is not set
> +# CONFIG_MFD_SM501 is not set
> +# CONFIG_ABX500_CORE is not set
> +# CONFIG_MFD_SYSCON is not set
> +# CONFIG_MFD_TI_AM335X_TSCADC is not set
> +# CONFIG_MFD_TMIO is not set
> +# CONFIG_REGULATOR is not set
> +# CONFIG_MEDIA_SUPPORT is not set
> +
> +#
> +# Graphics support
> +#
> +
> +#
> +# Direct Rendering Manager
> +#
> +# CONFIG_DRM is not set
> +
> +#
> +# Frame buffer Devices
> +#
> +CONFIG_FB=y
> +# CONFIG_FIRMWARE_EDID is not set
> +# CONFIG_FB_DDC is not set
> +# CONFIG_FB_BOOT_VESA_SUPPORT is not set
> +# CONFIG_FB_CFB_FILLRECT is not set
> +# CONFIG_FB_CFB_COPYAREA is not set
> +# CONFIG_FB_CFB_IMAGEBLIT is not set
> +# CONFIG_FB_CFB_REV_PIXELS_IN_BYTE is not set
> +CONFIG_FB_SYS_FILLRECT=y
> +CONFIG_FB_SYS_COPYAREA=y
> +CONFIG_FB_SYS_IMAGEBLIT=y
> +# CONFIG_FB_FOREIGN_ENDIAN is not set
> +CONFIG_FB_SYS_FOPS=y
> +CONFIG_FB_DEFERRED_IO=y
> +# CONFIG_FB_SVGALIB is not set
> +# CONFIG_FB_MACMODES is not set
> +# CONFIG_FB_BACKLIGHT is not set
> +# CONFIG_FB_MODE_HELPERS is not set
> +# CONFIG_FB_TILEBLITTING is not set
> +
> +#
> +# Frame buffer hardware drivers
> +#
> +# CONFIG_FB_ARC is not set
> +# CONFIG_FB_VGA16 is not set
> +# CONFIG_FB_VESA is not set
> +# CONFIG_FB_N411 is not set
> +# CONFIG_FB_HGA is not set
> +# CONFIG_FB_OPENCORES is not set
> +# CONFIG_FB_S1D13XXX is not set
> +# CONFIG_FB_VIRTUAL is not set
> +CONFIG_XEN_FBDEV_FRONTEND=y
> +# CONFIG_FB_METRONOME is not set
> +# CONFIG_FB_BROADSHEET is not set
> +# CONFIG_FB_AUO_K190X is not set
> +# CONFIG_FB_SIMPLE is not set
> +# CONFIG_BACKLIGHT_LCD_SUPPORT is not set
> +# CONFIG_VGASTATE is not set
> +
> +#
> +# Console display driver support
> +#
> +# CONFIG_VGA_CONSOLE is not set
> +CONFIG_DUMMY_CONSOLE=y
> +# CONFIG_FRAMEBUFFER_CONSOLE is not set
> +# CONFIG_LOGO is not set
> +# CONFIG_SOUND is not set
> +
> +#
> +# HID support
> +#
> +# CONFIG_HID is not set
> +CONFIG_USB_OHCI_LITTLE_ENDIAN=y
> +# CONFIG_USB_SUPPORT is not set
> +# CONFIG_MMC is not set
> +# CONFIG_MEMSTICK is not set
> +# CONFIG_NEW_LEDS is not set
> +# CONFIG_ACCESSIBILITY is not set
> +# CONFIG_EDAC is not set
> +CONFIG_RTC_LIB=y
> +# CONFIG_RTC_CLASS is not set
> +# CONFIG_DMADEVICES is not set
> +# CONFIG_AUXDISPLAY is not set
> +# CONFIG_UIO is not set
> +# CONFIG_VIRT_DRIVERS is not set
> +
> +#
> +# Virtio drivers
> +#
> +# CONFIG_VIRTIO_MMIO is not set
> +
> +#
> +# Microsoft Hyper-V guest support
> +#
> +
> +#
> +# Xen driver support
> +#
> +# CONFIG_XEN_BALLOON is not set
> +CONFIG_XEN_DEV_EVTCHN=y
> +CONFIG_XENFS=y
> +CONFIG_XEN_COMPAT_XENFS=y
> +CONFIG_XEN_SYS_HYPERVISOR=y
> +CONFIG_XEN_XENBUS_FRONTEND=y
> +CONFIG_XEN_GNTDEV=y
> +CONFIG_XEN_GRANT_DEV_ALLOC=y
> +CONFIG_SWIOTLB_XEN=y
> +CONFIG_XEN_PRIVCMD=y
> +CONFIG_XEN_HAVE_PVMMU=y
> +# CONFIG_STAGING is not set
> +# CONFIG_X86_PLATFORM_DEVICES is not set
> +# CONFIG_CHROME_PLATFORMS is not set
> +
> +#
> +# SOC (System On Chip) specific Drivers
> +#
> +
> +#
> +# Hardware Spinlock drivers
> +#
> +
> +#
> +# Clock Source drivers
> +#
> +CONFIG_CLKEVT_I8253=y
> +CONFIG_I8253_LOCK=y
> +CONFIG_CLKBLD_I8253=y
> +# CONFIG_SH_TIMER_CMT is not set
> +# CONFIG_SH_TIMER_MTU2 is not set
> +# CONFIG_SH_TIMER_TMU is not set
> +# CONFIG_EM_TIMER_STI is not set
> +# CONFIG_MAILBOX is not set
> +# CONFIG_IOMMU_SUPPORT is not set
> +
> +#
> +# Remoteproc drivers
> +#
> +# CONFIG_STE_MODEM_RPROC is not set
> +
> +#
> +# Rpmsg drivers
> +#
> +# CONFIG_PM_DEVFREQ is not set
> +# CONFIG_EXTCON is not set
> +# CONFIG_MEMORY is not set
> +# CONFIG_IIO is not set
> +# CONFIG_PWM is not set
> +# CONFIG_IPACK_BUS is not set
> +# CONFIG_RESET_CONTROLLER is not set
> +# CONFIG_FMC is not set
> +
> +#
> +# PHY Subsystem
> +#
> +# CONFIG_GENERIC_PHY is not set
> +# CONFIG_BCM_KONA_USB2_PHY is not set
> +# CONFIG_POWERCAP is not set
> +# CONFIG_MCB is not set
> +
> +#
> +# Firmware Drivers
> +#
> +# CONFIG_EDD is not set
> +CONFIG_FIRMWARE_MEMMAP=y
> +# CONFIG_DELL_RBU is not set
> +# CONFIG_DCDBAS is not set
> +# CONFIG_DMIID is not set
> +# CONFIG_DMI_SYSFS is not set
> +CONFIG_DMI_SCAN_MACHINE_NON_EFI_FALLBACK=y
> +# CONFIG_GOOGLE_FIRMWARE is not set
> +
> +#
> +# File systems
> +#
> +CONFIG_DCACHE_WORD_ACCESS=y
> +CONFIG_EXT2_FS=y
> +# CONFIG_EXT2_FS_XATTR is not set
> +# CONFIG_EXT2_FS_XIP is not set
> +# CONFIG_EXT3_FS is not set
> +# CONFIG_EXT4_FS is not set
> +# CONFIG_REISERFS_FS is not set
> +# CONFIG_JFS_FS is not set
> +# CONFIG_XFS_FS is not set
> +# CONFIG_GFS2_FS is not set
> +# CONFIG_BTRFS_FS is not set
> +# CONFIG_NILFS2_FS is not set
> +# CONFIG_FS_POSIX_ACL is not set
> +CONFIG_FILE_LOCKING=y
> +CONFIG_FSNOTIFY=y
> +# CONFIG_DNOTIFY is not set
> +CONFIG_INOTIFY_USER=y
> +# CONFIG_FANOTIFY is not set
> +# CONFIG_QUOTA is not set
> +# CONFIG_QUOTACTL is not set
> +CONFIG_AUTOFS4_FS=y
> +# CONFIG_FUSE_FS is not set
> +
> +#
> +# Caches
> +#
> +# CONFIG_FSCACHE is not set
> +
> +#
> +# CD-ROM/DVD Filesystems
> +#
> +# CONFIG_ISO9660_FS is not set
> +# CONFIG_UDF_FS is not set
> +
> +#
> +# DOS/FAT/NT Filesystems
> +#
> +# CONFIG_MSDOS_FS is not set
> +# CONFIG_VFAT_FS is not set
> +# CONFIG_NTFS_FS is not set
> +
> +#
> +# Pseudo filesystems
> +#
> +CONFIG_PROC_FS=y
> +# CONFIG_PROC_KCORE is not set
> +# CONFIG_PROC_SYSCTL is not set
> +# CONFIG_PROC_PAGE_MONITOR is not set
> +CONFIG_KERNFS=y
> +CONFIG_SYSFS=y
> +# CONFIG_TMPFS is not set
> +# CONFIG_HUGETLBFS is not set
> +# CONFIG_HUGETLB_PAGE is not set
> +# CONFIG_CONFIGFS_FS is not set
> +CONFIG_MISC_FILESYSTEMS=y
> +# CONFIG_ADFS_FS is not set
> +# CONFIG_AFFS_FS is not set
> +# CONFIG_HFS_FS is not set
> +# CONFIG_HFSPLUS_FS is not set
> +# CONFIG_BEFS_FS is not set
> +# CONFIG_BFS_FS is not set
> +# CONFIG_EFS_FS is not set
> +# CONFIG_LOGFS is not set
> +CONFIG_CRAMFS=y
> +CONFIG_SQUASHFS=y
> +CONFIG_SQUASHFS_FILE_CACHE=y
> +# CONFIG_SQUASHFS_FILE_DIRECT is not set
> +CONFIG_SQUASHFS_DECOMP_SINGLE=y
> +# CONFIG_SQUASHFS_DECOMP_MULTI is not set
> +# CONFIG_SQUASHFS_DECOMP_MULTI_PERCPU is not set
> +# CONFIG_SQUASHFS_XATTR is not set
> +CONFIG_SQUASHFS_ZLIB=y
> +# CONFIG_SQUASHFS_LZO is not set
> +# CONFIG_SQUASHFS_XZ is not set
> +# CONFIG_SQUASHFS_4K_DEVBLK_SIZE is not set
> +# CONFIG_SQUASHFS_EMBEDDED is not set
> +CONFIG_SQUASHFS_FRAGMENT_CACHE_SIZE=3
> +# CONFIG_VXFS_FS is not set
> +# CONFIG_MINIX_FS is not set
> +# CONFIG_OMFS_FS is not set
> +# CONFIG_HPFS_FS is not set
> +# CONFIG_QNX4FS_FS is not set
> +# CONFIG_QNX6FS_FS is not set
> +CONFIG_ROMFS_FS=y
> +CONFIG_ROMFS_BACKED_BY_BLOCK=y
> +CONFIG_ROMFS_ON_BLOCK=y
> +# CONFIG_PSTORE is not set
> +# CONFIG_SYSV_FS is not set
> +# CONFIG_UFS_FS is not set
> +# CONFIG_F2FS_FS is not set
> +# CONFIG_NETWORK_FILESYSTEMS is not set
> +CONFIG_NLS=y
> +CONFIG_NLS_DEFAULT="iso8859-1"
> +# CONFIG_NLS_CODEPAGE_437 is not set
> +# CONFIG_NLS_CODEPAGE_737 is not set
> +# CONFIG_NLS_CODEPAGE_775 is not set
> +# CONFIG_NLS_CODEPAGE_850 is not set
> +# CONFIG_NLS_CODEPAGE_852 is not set
> +# CONFIG_NLS_CODEPAGE_855 is not set
> +# CONFIG_NLS_CODEPAGE_857 is not set
> +# CONFIG_NLS_CODEPAGE_860 is not set
> +# CONFIG_NLS_CODEPAGE_861 is not set
> +# CONFIG_NLS_CODEPAGE_862 is not set
> +# CONFIG_NLS_CODEPAGE_863 is not set
> +# CONFIG_NLS_CODEPAGE_864 is not set
> +# CONFIG_NLS_CODEPAGE_865 is not set
> +# CONFIG_NLS_CODEPAGE_866 is not set
> +# CONFIG_NLS_CODEPAGE_869 is not set
> +# CONFIG_NLS_CODEPAGE_936 is not set
> +# CONFIG_NLS_CODEPAGE_950 is not set
> +# CONFIG_NLS_CODEPAGE_932 is not set
> +# CONFIG_NLS_CODEPAGE_949 is not set
> +# CONFIG_NLS_CODEPAGE_874 is not set
> +# CONFIG_NLS_ISO8859_8 is not set
> +# CONFIG_NLS_CODEPAGE_1250 is not set
> +# CONFIG_NLS_CODEPAGE_1251 is not set
> +# CONFIG_NLS_ASCII is not set
> +# CONFIG_NLS_ISO8859_1 is not set
> +# CONFIG_NLS_ISO8859_2 is not set
> +# CONFIG_NLS_ISO8859_3 is not set
> +# CONFIG_NLS_ISO8859_4 is not set
> +# CONFIG_NLS_ISO8859_5 is not set
> +# CONFIG_NLS_ISO8859_6 is not set
> +# CONFIG_NLS_ISO8859_7 is not set
> +# CONFIG_NLS_ISO8859_9 is not set
> +# CONFIG_NLS_ISO8859_13 is not set
> +# CONFIG_NLS_ISO8859_14 is not set
> +# CONFIG_NLS_ISO8859_15 is not set
> +# CONFIG_NLS_KOI8_R is not set
> +# CONFIG_NLS_KOI8_U is not set
> +# CONFIG_NLS_MAC_ROMAN is not set
> +# CONFIG_NLS_MAC_CELTIC is not set
> +# CONFIG_NLS_MAC_CENTEURO is not set
> +# CONFIG_NLS_MAC_CROATIAN is not set
> +# CONFIG_NLS_MAC_CYRILLIC is not set
> +# CONFIG_NLS_MAC_GAELIC is not set
> +# CONFIG_NLS_MAC_GREEK is not set
> +# CONFIG_NLS_MAC_ICELAND is not set
> +# CONFIG_NLS_MAC_INUIT is not set
> +# CONFIG_NLS_MAC_ROMANIAN is not set
> +# CONFIG_NLS_MAC_TURKISH is not set
> +# CONFIG_NLS_UTF8 is not set
> +
> +#
> +# Kernel hacking
> +#
> +CONFIG_TRACE_IRQFLAGS_SUPPORT=y
> +
> +#
> +# printk and dmesg options
> +#
> +# CONFIG_PRINTK_TIME is not set
> +CONFIG_MESSAGE_LOGLEVEL_DEFAULT=4
> +# CONFIG_BOOT_PRINTK_DELAY is not set
> +
> +#
> +# Compile-time checks and compiler options
> +#
> +# CONFIG_DEBUG_INFO is not set
> +# CONFIG_ENABLE_WARN_DEPRECATED is not set
> +# CONFIG_ENABLE_MUST_CHECK is not set
> +CONFIG_FRAME_WARN=1024
> +# CONFIG_STRIP_ASM_SYMS is not set
> +# CONFIG_READABLE_ASM is not set
> +# CONFIG_UNUSED_SYMBOLS is not set
> +# CONFIG_DEBUG_FS is not set
> +# CONFIG_HEADERS_CHECK is not set
> +# CONFIG_DEBUG_SECTION_MISMATCH is not set
> +CONFIG_ARCH_WANT_FRAME_POINTERS=y
> +# CONFIG_FRAME_POINTER is not set
> +# CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
> +# CONFIG_MAGIC_SYSRQ is not set
> +CONFIG_DEBUG_KERNEL=y
> +
> +#
> +# Memory Debugging
> +#
> +# CONFIG_DEBUG_PAGEALLOC is not set
> +# CONFIG_DEBUG_OBJECTS is not set
> +# CONFIG_SLUB_DEBUG_ON is not set
> +# CONFIG_SLUB_STATS is not set
> +CONFIG_HAVE_DEBUG_KMEMLEAK=y
> +# CONFIG_DEBUG_KMEMLEAK is not set
> +# CONFIG_DEBUG_STACK_USAGE is not set
> +# CONFIG_DEBUG_VM is not set
> +# CONFIG_DEBUG_VIRTUAL is not set
> +CONFIG_DEBUG_MEMORY_INIT=y
> +# CONFIG_DEBUG_PER_CPU_MAPS is not set
> +CONFIG_HAVE_DEBUG_STACKOVERFLOW=y
> +# CONFIG_DEBUG_STACKOVERFLOW is not set
> +CONFIG_HAVE_ARCH_KMEMCHECK=y
> +# CONFIG_KMEMCHECK is not set
> +# CONFIG_DEBUG_SHIRQ is not set
> +
> +#
> +# Debug Lockups and Hangs
> +#
> +# CONFIG_LOCKUP_DETECTOR is not set
> +# CONFIG_DETECT_HUNG_TASK is not set
> +# CONFIG_PANIC_ON_OOPS is not set
> +CONFIG_PANIC_ON_OOPS_VALUE=0
> +CONFIG_PANIC_TIMEOUT=0
> +# CONFIG_SCHED_DEBUG is not set
> +# CONFIG_SCHEDSTATS is not set
> +# CONFIG_TIMER_STATS is not set
> +
> +#
> +# Lock Debugging (spinlocks, mutexes, etc...)
> +#
> +# CONFIG_DEBUG_RT_MUTEXES is not set
> +# CONFIG_DEBUG_SPINLOCK is not set
> +# CONFIG_DEBUG_MUTEXES is not set
> +# CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
> +# CONFIG_DEBUG_LOCK_ALLOC is not set
> +# CONFIG_PROVE_LOCKING is not set
> +# CONFIG_LOCK_STAT is not set
> +# CONFIG_DEBUG_ATOMIC_SLEEP is not set
> +# CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
> +# CONFIG_LOCK_TORTURE_TEST is not set
> +# CONFIG_STACKTRACE is not set
> +# CONFIG_DEBUG_KOBJECT is not set
> +CONFIG_DEBUG_BUGVERBOSE=y
> +# CONFIG_DEBUG_LIST is not set
> +# CONFIG_DEBUG_PI_LIST is not set
> +# CONFIG_DEBUG_SG is not set
> +# CONFIG_DEBUG_NOTIFIERS is not set
> +# CONFIG_DEBUG_CREDENTIALS is not set
> +
> +#
> +# RCU Debugging
> +#
> +# CONFIG_SPARSE_RCU_POINTER is not set
> +# CONFIG_TORTURE_TEST is not set
> +# CONFIG_RCU_TORTURE_TEST is not set
> +CONFIG_RCU_CPU_STALL_TIMEOUT=21
> +# CONFIG_RCU_CPU_STALL_INFO is not set
> +# CONFIG_RCU_TRACE is not set
> +# CONFIG_DEBUG_BLOCK_EXT_DEVT is not set
> +# CONFIG_NOTIFIER_ERROR_INJECTION is not set
> +# CONFIG_FAULT_INJECTION is not set
> +# CONFIG_LATENCYTOP is not set
> +CONFIG_ARCH_HAS_DEBUG_STRICT_USER_COPY_CHECKS=y
> +# CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set
> +CONFIG_USER_STACKTRACE_SUPPORT=y
> +CONFIG_HAVE_FUNCTION_TRACER=y
> +CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
> +CONFIG_HAVE_FUNCTION_GRAPH_FP_TEST=y
> +CONFIG_HAVE_DYNAMIC_FTRACE=y
> +CONFIG_HAVE_DYNAMIC_FTRACE_WITH_REGS=y
> +CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
> +CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
> +CONFIG_HAVE_FENTRY=y
> +CONFIG_HAVE_C_RECORDMCOUNT=y
> +CONFIG_TRACING_SUPPORT=y
> +# CONFIG_FTRACE is not set
> +
> +#
> +# Runtime Testing
> +#
> +# CONFIG_TEST_LIST_SORT is not set
> +# CONFIG_BACKTRACE_SELF_TEST is not set
> +# CONFIG_RBTREE_TEST is not set
> +# CONFIG_ATOMIC64_SELFTEST is not set
> +# CONFIG_TEST_STRING_HELPERS is not set
> +# CONFIG_TEST_KSTRTOX is not set
> +# CONFIG_TEST_RHASHTABLE is not set
> +# CONFIG_DMA_API_DEBUG is not set
> +# CONFIG_TEST_FIRMWARE is not set
> +# CONFIG_TEST_UDELAY is not set
> +# CONFIG_SAMPLES is not set
> +CONFIG_HAVE_ARCH_KGDB=y
> +# CONFIG_KGDB is not set
> +# CONFIG_STRICT_DEVMEM is not set
> +# CONFIG_X86_VERBOSE_BOOTUP is not set
> +CONFIG_EARLY_PRINTK=y
> +# CONFIG_X86_PTDUMP is not set
> +CONFIG_DEBUG_RODATA=y
> +CONFIG_DEBUG_RODATA_TEST=y
> +CONFIG_DOUBLEFAULT=y
> +# CONFIG_DEBUG_TLBFLUSH is not set
> +# CONFIG_IOMMU_STRESS is not set
> +CONFIG_HAVE_MMIOTRACE_SUPPORT=y
> +CONFIG_IO_DELAY_TYPE_0X80=0
> +CONFIG_IO_DELAY_TYPE_0XED=1
> +CONFIG_IO_DELAY_TYPE_UDELAY=2
> +CONFIG_IO_DELAY_TYPE_NONE=3
> +CONFIG_IO_DELAY_0X80=y
> +# CONFIG_IO_DELAY_0XED is not set
> +# CONFIG_IO_DELAY_UDELAY is not set
> +# CONFIG_IO_DELAY_NONE is not set
> +CONFIG_DEFAULT_IO_DELAY_TYPE=0
> +# CONFIG_CPA_DEBUG is not set
> +# CONFIG_OPTIMIZE_INLINING is not set
> +# CONFIG_DEBUG_NMI_SELFTEST is not set
> +# CONFIG_X86_DEBUG_STATIC_CPU_HAS is not set
> +
> +#
> +# Security options
> +#
> +# CONFIG_KEYS is not set
> +# CONFIG_SECURITY_DMESG_RESTRICT is not set
> +# CONFIG_SECURITY is not set
> +# CONFIG_SECURITYFS is not set
> +CONFIG_DEFAULT_SECURITY_DAC=y
> +CONFIG_DEFAULT_SECURITY=""
> +CONFIG_CRYPTO=y
> +
> +#
> +# Crypto core or helper
> +#
> +CONFIG_CRYPTO_ALGAPI=y
> +CONFIG_CRYPTO_ALGAPI2=y
> +CONFIG_CRYPTO_AEAD2=y
> +CONFIG_CRYPTO_BLKCIPHER=y
> +CONFIG_CRYPTO_BLKCIPHER2=y
> +CONFIG_CRYPTO_HASH2=y
> +CONFIG_CRYPTO_RNG2=y
> +CONFIG_CRYPTO_PCOMP2=y
> +CONFIG_CRYPTO_MANAGER=y
> +CONFIG_CRYPTO_MANAGER2=y
> +# CONFIG_CRYPTO_USER is not set
> +# CONFIG_CRYPTO_MANAGER_DISABLE_TESTS is not set
> +# CONFIG_CRYPTO_GF128MUL is not set
> +# CONFIG_CRYPTO_NULL is not set
> +# CONFIG_CRYPTO_PCRYPT is not set
> +CONFIG_CRYPTO_WORKQUEUE=y
> +# CONFIG_CRYPTO_CRYPTD is not set
> +# CONFIG_CRYPTO_AUTHENC is not set
> +
> +#
> +# Authenticated Encryption with Associated Data
> +#
> +# CONFIG_CRYPTO_CCM is not set
> +# CONFIG_CRYPTO_GCM is not set
> +# CONFIG_CRYPTO_SEQIV is not set
> +
> +#
> +# Block modes
> +#
> +CONFIG_CRYPTO_CBC=y
> +# CONFIG_CRYPTO_CTR is not set
> +# CONFIG_CRYPTO_CTS is not set
> +# CONFIG_CRYPTO_ECB is not set
> +# CONFIG_CRYPTO_LRW is not set
> +# CONFIG_CRYPTO_PCBC is not set
> +# CONFIG_CRYPTO_XTS is not set
> +
> +#
> +# Hash modes
> +#
> +# CONFIG_CRYPTO_CMAC is not set
> +# CONFIG_CRYPTO_HMAC is not set
> +# CONFIG_CRYPTO_XCBC is not set
> +# CONFIG_CRYPTO_VMAC is not set
> +
> +#
> +# Digest
> +#
> +# CONFIG_CRYPTO_CRC32C is not set
> +# CONFIG_CRYPTO_CRC32C_INTEL is not set
> +# CONFIG_CRYPTO_CRC32 is not set
> +# CONFIG_CRYPTO_CRC32_PCLMUL is not set
> +# CONFIG_CRYPTO_CRCT10DIF is not set
> +# CONFIG_CRYPTO_GHASH is not set
> +# CONFIG_CRYPTO_MD4 is not set
> +# CONFIG_CRYPTO_MD5 is not set
> +# CONFIG_CRYPTO_MICHAEL_MIC is not set
> +# CONFIG_CRYPTO_RMD128 is not set
> +# CONFIG_CRYPTO_RMD160 is not set
> +# CONFIG_CRYPTO_RMD256 is not set
> +# CONFIG_CRYPTO_RMD320 is not set
> +# CONFIG_CRYPTO_SHA1 is not set
> +# CONFIG_CRYPTO_SHA1_SSSE3 is not set
> +# CONFIG_CRYPTO_SHA256_SSSE3 is not set
> +# CONFIG_CRYPTO_SHA512_SSSE3 is not set
> +# CONFIG_CRYPTO_SHA256 is not set
> +# CONFIG_CRYPTO_SHA512 is not set
> +# CONFIG_CRYPTO_TGR192 is not set
> +# CONFIG_CRYPTO_WP512 is not set
> +# CONFIG_CRYPTO_GHASH_CLMUL_NI_INTEL is not set
> +
> +#
> +# Ciphers
> +#
> +CONFIG_CRYPTO_AES=y
> +# CONFIG_CRYPTO_AES_X86_64 is not set
> +# CONFIG_CRYPTO_AES_NI_INTEL is not set
> +# CONFIG_CRYPTO_ANUBIS is not set
> +# CONFIG_CRYPTO_ARC4 is not set
> +# CONFIG_CRYPTO_BLOWFISH is not set
> +# CONFIG_CRYPTO_BLOWFISH_X86_64 is not set
> +# CONFIG_CRYPTO_CAMELLIA is not set
> +# CONFIG_CRYPTO_CAMELLIA_X86_64 is not set
> +# CONFIG_CRYPTO_CAMELLIA_AESNI_AVX_X86_64 is not set
> +# CONFIG_CRYPTO_CAMELLIA_AESNI_AVX2_X86_64 is not set
> +# CONFIG_CRYPTO_CAST5 is not set
> +# CONFIG_CRYPTO_CAST5_AVX_X86_64 is not set
> +# CONFIG_CRYPTO_CAST6 is not set
> +# CONFIG_CRYPTO_CAST6_AVX_X86_64 is not set
> +# CONFIG_CRYPTO_DES is not set
> +# CONFIG_CRYPTO_DES3_EDE_X86_64 is not set
> +# CONFIG_CRYPTO_FCRYPT is not set
> +# CONFIG_CRYPTO_KHAZAD is not set
> +# CONFIG_CRYPTO_SALSA20 is not set
> +# CONFIG_CRYPTO_SALSA20_X86_64 is not set
> +# CONFIG_CRYPTO_SEED is not set
> +# CONFIG_CRYPTO_SERPENT is not set
> +# CONFIG_CRYPTO_SERPENT_SSE2_X86_64 is not set
> +# CONFIG_CRYPTO_SERPENT_AVX_X86_64 is not set
> +# CONFIG_CRYPTO_SERPENT_AVX2_X86_64 is not set
> +# CONFIG_CRYPTO_TEA is not set
> +# CONFIG_CRYPTO_TWOFISH is not set
> +# CONFIG_CRYPTO_TWOFISH_X86_64 is not set
> +# CONFIG_CRYPTO_TWOFISH_X86_64_3WAY is not set
> +# CONFIG_CRYPTO_TWOFISH_AVX_X86_64 is not set
> +
> +#
> +# Compression
> +#
> +# CONFIG_CRYPTO_DEFLATE is not set
> +# CONFIG_CRYPTO_ZLIB is not set
> +# CONFIG_CRYPTO_LZO is not set
> +# CONFIG_CRYPTO_LZ4 is not set
> +# CONFIG_CRYPTO_LZ4HC is not set
> +
> +#
> +# Random Number Generation
> +#
> +# CONFIG_CRYPTO_ANSI_CPRNG is not set
> +# CONFIG_CRYPTO_DRBG_MENU is not set
> +# CONFIG_CRYPTO_USER_API_HASH is not set
> +# CONFIG_CRYPTO_USER_API_SKCIPHER is not set
> +# CONFIG_CRYPTO_HW is not set
> +CONFIG_HAVE_KVM=y
> +CONFIG_VIRTUALIZATION=y
> +# CONFIG_BINARY_PRINTF is not set
> +
> +#
> +# Library routines
> +#
> +CONFIG_BITREVERSE=y
> +CONFIG_GENERIC_STRNCPY_FROM_USER=y
> +CONFIG_GENERIC_STRNLEN_USER=y
> +CONFIG_GENERIC_NET_UTILS=y
> +CONFIG_GENERIC_FIND_FIRST_BIT=y
> +CONFIG_GENERIC_PCI_IOMAP=y
> +CONFIG_GENERIC_IOMAP=y
> +CONFIG_GENERIC_IO=y
> +CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
> +CONFIG_ARCH_HAS_FAST_MULTIPLIER=y
> +# CONFIG_CRC_CCITT is not set
> +# CONFIG_CRC16 is not set
> +# CONFIG_CRC_T10DIF is not set
> +# CONFIG_CRC_ITU_T is not set
> +CONFIG_CRC32=y
> +# CONFIG_CRC32_SELFTEST is not set
> +CONFIG_CRC32_SLICEBY8=y
> +# CONFIG_CRC32_SLICEBY4 is not set
> +# CONFIG_CRC32_SARWATE is not set
> +# CONFIG_CRC32_BIT is not set
> +# CONFIG_CRC7 is not set
> +# CONFIG_LIBCRC32C is not set
> +# CONFIG_CRC8 is not set
> +# CONFIG_AUDIT_ARCH_COMPAT_GENERIC is not set
> +# CONFIG_RANDOM32_SELFTEST is not set
> +CONFIG_ZLIB_INFLATE=y
> +CONFIG_LZO_DECOMPRESS=y
> +CONFIG_LZ4_DECOMPRESS=y
> +CONFIG_XZ_DEC=y
> +CONFIG_XZ_DEC_X86=y
> +CONFIG_XZ_DEC_POWERPC=y
> +CONFIG_XZ_DEC_IA64=y
> +CONFIG_XZ_DEC_ARM=y
> +CONFIG_XZ_DEC_ARMTHUMB=y
> +CONFIG_XZ_DEC_SPARC=y
> +CONFIG_XZ_DEC_BCJ=y
> +# CONFIG_XZ_DEC_TEST is not set
> +CONFIG_DECOMPRESS_GZIP=y
> +CONFIG_DECOMPRESS_BZIP2=y
> +CONFIG_DECOMPRESS_LZMA=y
> +CONFIG_DECOMPRESS_XZ=y
> +CONFIG_DECOMPRESS_LZO=y
> +CONFIG_DECOMPRESS_LZ4=y
> +CONFIG_HAS_IOMEM=y
> +CONFIG_HAS_IOPORT_MAP=y
> +CONFIG_HAS_DMA=y
> +CONFIG_CPU_RMAP=y
> +CONFIG_DQL=y
> +CONFIG_NLATTR=y
> +CONFIG_ARCH_HAS_ATOMIC64_DEC_IF_POSITIVE=y
> +# CONFIG_AVERAGE is not set
> +# CONFIG_CORDIC is not set
> +# CONFIG_DDR is not set
> +CONFIG_ARCH_HAS_SG_CHAIN=y
> -- 
> 1.8.5.5
> 

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel