#
# Automatically generated file; DO NOT EDIT.
# Unikraft/0.3.1~9bc52b70 Configuration
#

#
# Architecture Selection
#
# CONFIG_ARCH_X86_64 is not set
# CONFIG_ARCH_ARM_64 is not set
CONFIG_ARCH_ARM_32=y
CONFIG_MARCH_ARM32_CORTEXA7=y
# CONFIG_MARCH_ARM32_A20NEON is not set

#
# Platform Configuration
#
CONFIG_PLAT_XEN=y
CONFIG_XEN_HVMLITE=y

#
# Console Options
#
CONFIG_XEN_KERNEL_EMG_CONSOLE=y
CONFIG_XEN_DEBUG_EMG_CONSOLE=y
CONFIG_PLAT_LINUXU=y
CONFIG_LINUXU_DEFAULT_HEAPMB=4

#
# Platform Interface Options
#
# CONFIG_UKPLAT_MEMRNAME is not set
CONFIG_HZ=100

#
# Library Configuration
#
CONFIG_HAVE_BOOTENTRY=y
# CONFIG_HAVE_LIBC is not set
# CONFIG_HAVE_SCHED is not set
# CONFIG_HAVE_NW_STACK is not set
CONFIG_LIBUKBOOT=y
CONFIG_LIBUKBOOT_BANNER=y
CONFIG_LIBUKBOOT_MAXNBARGS=60
CONFIG_LIBUKBOOT_INITALLOC=y
CONFIG_LIBUKDEBUG=y
CONFIG_LIBUKDEBUG_PRINTK=y
# CONFIG_LIBUKDEBUG_PRINTK_INFO is not set
# CONFIG_LIBUKDEBUG_PRINTK_WARN is not set
CONFIG_LIBUKDEBUG_PRINTK_ERR=y
# CONFIG_LIBUKDEBUG_PRINTK_CRIT is not set
CONFIG_LIBUKDEBUG_PRINTD=y
CONFIG_LIBUKDEBUG_NOREDIR=y
# CONFIG_LIBUKDEBUG_REDIR_PRINTD is not set
# CONFIG_LIBUKDEBUG_REDIR_PRINTK is not set
CONFIG_LIBUKDEBUG_PRINT_TIME=y
# CONFIG_LIBUKDEBUG_PRINT_STACK is not set
CONFIG_LIBUKDEBUG_ENABLE_ASSERT=y
CONFIG_LIBUKARGPARSE=y
# CONFIG_UKUNISTD is not set
# CONFIG_UKSYSINFO is not set
# CONFIG_LIBUKTIMECONV is not set
CONFIG_LIBNOLIBC=y
CONFIG_LIBNOLIBC_UKDEBUG_ASSERT=y
CONFIG_LIBUKALLOC=y
CONFIG_LIBUKALLOC_IFPAGES=y
# CONFIG_LIBUKALLOC_IFSTATS is not set
CONFIG_LIBUKALLOCBBUDDY=y
# CONFIG_LIBUKSCHED is not set
CONFIG_LIBFDT=y
# CONFIG_LIBVFSCORE is not set
# CONFIG_LIBUKLOCK is not set
# CONFIG_LIBUKMPI is not set
# CONFIG_LIBUKSWRAND is not set
# CONFIG_LIBUKBUS is not set
# CONFIG_LIBUKSGLIST is not set
# CONFIG_LIBUKNETDEV is not set

#
# Build Options
#
# CONFIG_OPTIMIZE_NONE is not set
CONFIG_OPTIMIZE_PERF=y
# CONFIG_OPTIMIZE_SIZE is not set
CONFIG_OPTIMIZE_DEADELIM=y
# CONFIG_OPTIMIZE_LTO is not set
# CONFIG_DEBUG_SYMBOLS_LVL1 is not set
# CONFIG_DEBUG_SYMBOLS_LVL2 is not set
CONFIG_DEBUG_SYMBOLS_LVL3=y
CONFIG_OPTIMIZE_SYMFILE=y
# CONFIG_RECORD_BUILDTIME is not set
CONFIG_CROSS_COMPILE=""
CONFIG_UK_NAME="unikraft"