#
# Automatically generated file; DO NOT EDIT.
# Unikraft/0.3.1~25e0c7c Configuration
#

#
# Architecture Selection
#
CONFIG_ARCH_X86_64=y
# CONFIG_ARCH_ARM_64 is not set
# CONFIG_ARCH_ARM_32 is not set
# CONFIG_MARCH_X86_64_NATIVE is not set
CONFIG_MARCH_X86_64_GENERIC=y
# CONFIG_MARCH_X86_64_NOCONA is not set
# CONFIG_MARCH_X86_64_CORE2 is not set
# CONFIG_MARCH_X86_64_COREI7 is not set
# CONFIG_MARCH_X86_64_COREI7AVX is not set
# CONFIG_MARCH_X86_64_COREI7AVXI is not set
# CONFIG_MARCH_X86_64_ATOM is not set
# CONFIG_MARCH_X86_64_K8 is not set
# CONFIG_MARCH_X86_64_K8SSE3 is not set
# CONFIG_MARCH_X86_64_AMDFAM10 is not set
# CONFIG_MARCH_X86_64_BTVER1 is not set
# CONFIG_MARCH_X86_64_BDVER1 is not set
# CONFIG_MARCH_X86_64_BDVER2 is not set
# CONFIG_MARCH_X86_64_BDVER3 is not set
# CONFIG_MARCH_X86_64_BTVER2 is not set

#
# Platform Configuration
#
# CONFIG_PLAT_XEN is not set
# CONFIG_PLAT_KVM is not set
# CONFIG_PLAT_LINUXU is not set

#
# Platform Interface Options
#
# CONFIG_UKPLAT_MEMRNAME is not set
CONFIG_HZ=100
CONFIG_PLAT_SOLO5=y
CONFIG_SOLO5_HVT_TENDER=y

#
# 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 is not set
# CONFIG_LIBUKDEBUG_NOREDIR is not set
CONFIG_LIBUKDEBUG_REDIR_PRINTD=y
# 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_LIBUKDEBUG_TRACEPOINTS is not set
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 is not set
# CONFIG_LIBSYSCALL_SHIM is not set
# 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
# CONFIG_POSIX_LIBDL is not set
# CONFIG_LIBUKLIBPARAM is not set

#
# Build Options
#
# CONFIG_OPTIMIZE_NONE is not set
CONFIG_OPTIMIZE_PERF=y
# CONFIG_OPTIMIZE_SIZE is not set

#
# Hint: Specify a CPU type to get most benefits from performance optimization
#
# CONFIG_OPTIMIZE_DEADELIM is not set
# CONFIG_OPTIMIZE_LTO is not set
# CONFIG_DEBUG_SYMBOLS_LVL0 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 is not set
CONFIG_OPTIMIZE_COMPRESS=y
# CONFIG_RECORD_BUILDTIME is not set
CONFIG_CROSS_COMPILE=""

#
# Application Options
#
CONFIG_APPHELLOWORLD_DEPENDENCIES=y
CONFIG_APPHELLOWORLD_PRINTARGS=y
CONFIG_UK_NAME="helloworld"