.config.click_qemu-x86_64.known-working

#
# Automatically generated file; DO NOT EDIT.
# Unikraft/0.16.3~e453b74a Configuration
#
CONFIG_UK_FULLVERSION="0.16.3~e453b74a"
CONFIG_UK_CODENAME="Telesto"
CONFIG_UK_ARCH="x86_64"
CONFIG_HOST_ARCH="x86_64"
CONFIG_UK_BASE="/home/okelmann/appclick-ubpf/libs/unikraft"
CONFIG_UK_APP="/home/okelmann/appclick-ubpf"
CONFIG_UK_DEFNAME="click"

#
# 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

#
# Processor Features
#
# CONFIG_X86_64_HAVE_RANDOM is not set
# end of Processor Features

CONFIG_STACK_SIZE_PAGE_ORDER=4
CONFIG_CPU_EXCEPT_STACK_SIZE_PAGE_ORDER=4
# end of Architecture Selection

#
# Platform Configuration
#
CONFIG_PLAT_KVM=y
CONFIG_KVM_BOOT_PROTO_MULTIBOOT=y

#
# Hint: EFI stub depends on OPTIMIZE_PIE
#
CONFIG_KVM_VMM_QEMU=y
# CONFIG_KVM_VMM_FIRECRACKER is not set

#
# Console Options
#
CONFIG_KVM_KERNEL_VGA_CONSOLE=y
CONFIG_KVM_DEBUG_SERIAL_CONSOLE=y
CONFIG_KVM_DEBUG_VGA_CONSOLE=y
CONFIG_KVM_KERNEL_SERIAL_CONSOLE=y

#
# Serial console configuration
#
CONFIG_KVM_SERIAL_BAUD_115200=y
# CONFIG_KVM_SERIAL_BAUD_57600 is not set
# CONFIG_KVM_SERIAL_BAUD_38400 is not set
# CONFIG_KVM_SERIAL_BAUD_19200 is not set
# end of Serial console configuration
# end of Console Options

# CONFIG_PLAT_LINUXU is not set
# CONFIG_PLAT_XEN is not set

#
# Platform Interface Options
#
# CONFIG_UKPLAT_MEMRNAME is not set
CONFIG_UKPLAT_MEMREGION_MAX_COUNT=128
# CONFIG_UKPLAT_ACPI is not set
CONFIG_UKPLAT_LCPU_MAXCOUNT=1
# CONFIG_PAGING is not set
# end of Platform Interface Options

CONFIG_HZ=100
CONFIG_UKPLAT_AUXSP_PAGE_ORDER=4
# end of Platform Configuration

#
# Device Drivers
#

#
# Serial console
#
# end of Serial console

CONFIG_VIRTIO_DEVICE=y

#
# Bus drivers
#
CONFIG_HAVE_PCI=y
CONFIG_LIBUKBUS_PCI=y
CONFIG_LIBUKBUS_PLATFORM=y
# end of Bus drivers

#
# Interrupt controller
#
CONFIG_HAVE_APIC=y
CONFIG_LIBUKINTCTLR_XPIC=y
# CONFIG_LIBUKINTCTLR_APIC is not set
# end of Interrupt controller

#
# Virtio
#
CONFIG_LIBVIRTIO_9P=y
CONFIG_LIBVIRTIO_BUS=y
CONFIG_HAVE_MMIO=y
CONFIG_LIBVIRTIO_MMIO=y
CONFIG_VIRTIO_MMIO_MAX_DEV_CMDLINE=4
# CONFIG_VIRTIO_MMIO_LINUX_COMPAT_CMDLINE is not set
CONFIG_LIBVIRTIO_NET=y
CONFIG_LIBVIRTIO_PCI=y
CONFIG_LIBVIRTIO_RING=y
# end of Virtio

#
# Xen
#
# end of Xen
# end of Device Drivers

#
# Library Configuration
#
CONFIG_LIB9PFS=y
# CONFIG_LIBDEVFS is not set
# CONFIG_LIBISRLIB is not set
CONFIG_LIBPOSIX_ENVIRON=y

#
# Compiled-in environment variables
#
CONFIG_LIBPOSIX_ENVIRON_ENVP0="PATH=/bin"
CONFIG_LIBPOSIX_ENVIRON_ENVP0_NOTEMPTY=y
CONFIG_LIBPOSIX_ENVIRON_ENVP1=""
CONFIG_LIBPOSIX_ENVIRON_ENVP2=""
CONFIG_LIBPOSIX_ENVIRON_ENVP3=""
CONFIG_LIBPOSIX_ENVIRON_ENVP4=""
CONFIG_LIBPOSIX_ENVIRON_ENVP5=""
CONFIG_LIBPOSIX_ENVIRON_ENVP6=""
CONFIG_LIBPOSIX_ENVIRON_ENVP7=""
CONFIG_LIBPOSIX_ENVIRON_ENVP8=""
CONFIG_LIBPOSIX_ENVIRON_ENVP9=""
CONFIG_LIBPOSIX_ENVIRON_ENVP10=""
CONFIG_LIBPOSIX_ENVIRON_ENVP11=""
CONFIG_LIBPOSIX_ENVIRON_ENVP12=""
CONFIG_LIBPOSIX_ENVIRON_ENVP13=""
CONFIG_LIBPOSIX_ENVIRON_ENVP14=""
CONFIG_LIBPOSIX_ENVIRON_ENVP15=""
# end of Compiled-in environment variables

# CONFIG_LIBPOSIX_ENVIRON_LIBPARAM is not set
# CONFIG_LIBPOSIX_EVENTFD is not set
CONFIG_LIBPOSIX_FDIO=y
CONFIG_LIBPOSIX_FDTAB=y
CONFIG_LIBPOSIX_FDTAB_MAXFDS=1024
CONFIG_LIBPOSIX_FDTAB_LEGACY_SHIM=y
CONFIG_LIBPOSIX_FUTEX=y
# CONFIG_LIBPOSIX_FUTEX_DEBUG is not set
# CONFIG_LIBPOSIX_FUTEX_TEST is not set
CONFIG_LIBPOSIX_LIBDL=y
CONFIG_LIBPOSIX_PIPE=y
CONFIG_LIBPOSIX_PIPE_SIZE_ORDER=16
CONFIG_LIBPOSIX_POLL=y
CONFIG_LIBPOSIX_PROCESS=y
CONFIG_LIBPOSIX_PROCESS_PIDS=y
CONFIG_LIBPOSIX_PROCESS_MAX_PID=31
CONFIG_LIBPOSIX_PROCESS_INIT_PIDS=y
CONFIG_LIBPOSIX_PROCESS_CLONE=y
# CONFIG_LIBPOSIX_PROCESS_CLONE_PREFER_CHILD is not set
# CONFIG_LIBPOSIX_PROCESS_DEBUG is not set
# CONFIG_LIBPOSIX_SOCKET is not set
CONFIG_LIBPOSIX_SYSINFO=y
CONFIG_LIBPOSIX_TIME=y
# CONFIG_LIBPOSIX_TIMERFD is not set
# CONFIG_LIBPOSIX_UNIXSOCKET is not set
CONFIG_LIBPOSIX_USER=y
CONFIG_LIBPOSIX_USER_UID=0
CONFIG_LIBPOSIX_USER_GID=0
CONFIG_LIBPOSIX_USER_USERNAME="root"
CONFIG_LIBPOSIX_USER_GROUPNAME="root"
CONFIG_LIBRAMFS=y
CONFIG_LIBSYSCALL_SHIM=y
CONFIG_LIBSYSCALL_SHIM_NOWRAPPER=y
# CONFIG_LIBSYSCALL_SHIM_HANDLER is not set

#
# Debugging
#
# CONFIG_LIBSYSCALL_SHIM_DEBUG_SYSCALLS is not set
# CONFIG_LIBSYSCALL_SHIM_DEBUG is not set
CONFIG_LIBSYSCALL_SHIM_LEGACY_VERBOSE=y
# end of Debugging

# CONFIG_LIBUBSAN is not set
CONFIG_LIBUK9P=y
CONFIG_LIBUK9P_ERRATUM_WSTAT_FSYNC_ZERO=y
CONFIG_LIBUKALLOC=y
# CONFIG_LIBUKALLOC_IFMALLOC is not set
# CONFIG_LIBUKALLOC_IFSTATS is not set
CONFIG_LIBUKALLOCBBUDDY=y
# CONFIG_LIBUKALLOCBBUDDY_FREELIST_SANITY is not set
# CONFIG_LIBUKALLOCPOOL is not set
# CONFIG_LIBUKALLOCREGION is not set
CONFIG_LIBUKARGPARSE=y
# CONFIG_LIBUKARGPARSE_TEST is not set
CONFIG_LIBUKATOMIC=y
CONFIG_LIBUKBITOPS=y
# CONFIG_LIBUKBLKDEV is not set
CONFIG_LIBUKBOOT=y
# CONFIG_LIBUKBOOT_BANNER_NONE is not set
# CONFIG_LIBUKBOOT_BANNER_MINIMAL is not set
# CONFIG_LIBUKBOOT_BANNER_CLASSIC is not set
CONFIG_LIBUKBOOT_BANNER_POWEREDBY=y
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_ANSI is not set
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_ANSI2 is not set
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_EA is not set
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_EAANSI is not set
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_EAANSI2 is not set
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_U8 is not set
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_U8ANSI is not set
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_U8ANSI2 is not set
CONFIG_LIBUKBOOT_MAXNBARGS=60
CONFIG_LIBUKBOOT_INITBBUDDY=y
# CONFIG_LIBUKBOOT_INITREGION is not set
# CONFIG_LIBUKBOOT_NOALLOC is not set
CONFIG_LIBUKBOOT_INITSCHEDCOOP=y
# CONFIG_LIBUKBOOT_NOSCHED is not set
# CONFIG_LIBUKBOOT_MAINTHREAD is not set
CONFIG_LIBUKBUS=y
CONFIG_LIBUKCPIO=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_THREAD is not set
# CONFIG_LIBUKDEBUG_PRINT_CALLER is not set
CONFIG_LIBUKDEBUG_PRINT_SRCNAME=y
# CONFIG_LIBUKDEBUG_ANSI_COLOR is not set
CONFIG_LIBUKDEBUG_ENABLE_ASSERT=y
# CONFIG_LIBUKDEBUG_TRACEPOINTS is not set
# CONFIG_LIBUKFALLOC is not set
# CONFIG_LIBUKFALLOCBUDDY is not set
CONFIG_LIBUKFILE=y
CONFIG_LIBUKFILE_CHAINUPDATE=y
# CONFIG_LIBUKGCOV is not set
CONFIG_HAVE_INTCTLR=y
CONFIG_LIBUKINTCTLR=y
CONFIG_LIBUKINTCTLR_MAX_HANDLERS_PER_IRQ=8
# CONFIG_LIBUKINTCTLR_ISR_ECTX_ASSERTIONS is not set
CONFIG_LIBUKLIBID=y
CONFIG_LIBUKLIBID_INFO=y

#
# Global metadata
#
CONFIG_LIBUKLIBID_INFO_UKFULLVERSION=y
# CONFIG_LIBUKLIBID_INFO_UKCODENAME is not set
# CONFIG_LIBUKLIBID_INFO_COMPILER is not set
CONFIG_LIBUKLIBID_INFO_COMPILEDATE=y
# CONFIG_LIBUKLIBID_INFO_UKCONFIGGZ is not set
# end of Global metadata

#
# Per library metadata
#
# CONFIG_LIBUKLIBID_INFO_LIB_UKVERSION is not set
# CONFIG_LIBUKLIBID_INFO_LIB_UKCODENAME is not set
CONFIG_LIBUKLIBID_INFO_LIB_COMPILER=y
# CONFIG_LIBUKLIBID_INFO_LIB_COMPILEDATE is not set
# end of Per library metadata

# CONFIG_LIBUKLIBID_INFO_COMPILEDBY is not set
# CONFIG_LIBUKLIBID_INFO_BOOTDUMP is not set
CONFIG_LIBUKLIBPARAM=y
CONFIG_LIBUKLOCK=y
CONFIG_LIBUKLOCK_SEMAPHORE=y
CONFIG_LIBUKLOCK_MUTEX=y
# CONFIG_LIBUKLOCK_MUTEX_METRICS is not set
CONFIG_LIBUKLOCK_RWLOCK=y
CONFIG_LIBUKMMAP=y
# CONFIG_LIBUKMMAP_TEST is not set
# CONFIG_LIBUKMPI is not set
CONFIG_LIBUKNETDEV=y
CONFIG_LIBUKNETDEV_MAXNBQUEUES=1
CONFIG_LIBUKNETDEV_DISPATCHERTHREADS=y
CONFIG_LIBUKNETDEV_EINFO_LIBPARAM=y
CONFIG_LIBUKNETDEV_EINFO_LIBPARAM_MAXCOUNT=4
# CONFIG_LIBUKNETDEV_STATS is not set
# CONFIG_LIBUKNOFAULT is not set
# CONFIG_LIBUKRING is not set
# CONFIG_LIBUKRUST is not set
CONFIG_LIBUKSCHED=y
CONFIG_LIBUKSCHED_TCB_INIT=y
# CONFIG_LIBUKSCHED_DEBUG is not set
CONFIG_LIBUKSCHEDCOOP=y
CONFIG_LIBUKSGLIST=y
CONFIG_LIBUKSIGNAL=y
# CONFIG_LIBUKSP is not set
# CONFIG_LIBUKSTORE is not set
CONFIG_LIBUKSTREAMBUF=y
# CONFIG_LIBUKSTREAMBUF_TEST is not set
# CONFIG_LIBUKSWRAND is not set
# CONFIG_LIBUKTEST is not set
CONFIG_LIBUKTIMECONV=y
# CONFIG_LIBUKVMEM is not set
CONFIG_LIBVFSCORE=y
CONFIG_LIBVFSCORE_NONLARGEFILE=y
# CONFIG_LIBVFSCORE_AUTOMOUNT_CI is not set
CONFIG_LIBVFSCORE_AUTOMOUNT_UP=y
CONFIG_LIBVFSCORE_AUTOMOUNT_UP_SIZE=16
# CONFIG_LIBVFSCORE_AUTOMOUNT_FB is not set
CONFIG_LIBVFSCORE_AUTOMOUNT=y
CONFIG_LIBVFSCORE_AUTOUNMOUNT=y
CONFIG_HAVE_BOOTENTRY=y
CONFIG_HAVE_LIBC=y
CONFIG_HAVE_TIME=y
CONFIG_HAVE_SCHED=y
CONFIG_LIBCXXABI=y
# CONFIG_LIBCXXABI_THREADS is not set
CONFIG_LIBCXX=y
# CONFIG_CXX_THREADS is not set
CONFIG_LIBUNWIND=y
CONFIG_LIBCOMPILER_RT=y
CONFIG_LIBCOMPILER_RT_MATH=y
# CONFIG_LIBCOMPILER_RT_ATOMIC is not set
# CONFIG_LIBCOMPILER_RT_GCCPERSONALITY is not set
CONFIG_LIBMUSL=y
CONFIG_LIBMUSL_AIO=y
# CONFIG_LIBMUSL_COMPLEX is not set
CONFIG_LIBMUSL_CONF=y
CONFIG_LIBMUSL_CRYPT=y
CONFIG_LIBMUSL_CTYPE=y
CONFIG_LIBMUSL_DIRENT=y
CONFIG_LIBMUSL_ENV=y
CONFIG_LIBMUSL_ERRNO=y
CONFIG_LIBMUSL_EXIT=y
CONFIG_LIBMUSL_FCNTL=y
CONFIG_LIBMUSL_FENV=y
CONFIG_LIBMUSL_INTERNAL=y
CONFIG_LIBMUSL_IPC=y
CONFIG_LIBMUSL_LDSO=y
CONFIG_LIBMUSL_LEGACY=y
CONFIG_LIBMUSL_LINUX=y
CONFIG_LIBMUSL_LOCALE=y
CONFIG_LIBMUSL_LOCALE_LEGACY=y
CONFIG_LIBMUSL_MALLOC=y
CONFIG_LIBMUSL_MATH=y
CONFIG_LIBMUSL_MISC=y
CONFIG_LIBMUSL_MMAN=y
CONFIG_LIBMUSL_MQ=y
CONFIG_LIBMUSL_MULTIBYTE=y
CONFIG_LIBMUSL_NETWORK=y
CONFIG_LIBMUSL_PASSWD=y
CONFIG_LIBMUSL_PRNG=y
CONFIG_LIBMUSL_PROCESS=y
CONFIG_LIBMUSL_REGEX=y
CONFIG_LIBMUSL_SCHED=y
CONFIG_LIBMUSL_SEARCH=y
CONFIG_LIBMUSL_SELECT=y
CONFIG_LIBMUSL_SETJMP=y
CONFIG_LIBMUSL_SIGNAL=y
CONFIG_LIBMUSL_STAT=y
CONFIG_LIBMUSL_STDIO=y
CONFIG_LIBMUSL_STDLIB=y
CONFIG_LIBMUSL_STRING=y
CONFIG_LIBMUSL_TEMP=y
CONFIG_LIBMUSL_TERMIOS=y
CONFIG_LIBMUSL_THREAD=y
CONFIG_LIBMUSL_FORCE_THREAD=y
CONFIG_LIBMUSL_TIME=y
CONFIG_LIBMUSL_UNISTD=y
CONFIG_APP_DEPENDENCIES=y
CONFIG_LIBCLICK=y
CONFIG_LIBCLICK_MAIN=y
CONFIG_LIBCLICK_ELEMS_AQM=y
CONFIG_LIBCLICK_ELEMS_ETHERNET=y
CONFIG_LIBCLICK_ELEMS_ETHERSWITCH=y
CONFIG_LIBCLICK_ELEMS_ICMP=y
CONFIG_LIBCLICK_ELEMS_IP=y
CONFIG_LIBCLICK_ELEMS_UNIKRAFT=y
CONFIG_LIBCLICK_ELEMS_LOCAL=y
CONFIG_LIBCLICK_ELEMS_SIMPLE=y
CONFIG_LIBCLICK_ELEMS_STANDARD=y
CONFIG_LIBCLICK_ELEMS_TCPUDP=y
CONFIG_LIBCLICK_ELEMS_THREADS=y
# CONFIG_LIBCLICK_ELEMS_USERLEVEL is not set
CONFIG_LIBCLICK_UBPF_VERIFY_SIGNATURE=y
CONFIG_LIBOPENSSL=y
# CONFIG_LIBSSL is not set
CONFIG_LIBCRYPTO=y
CONFIG_LIBUBPF=y
# CONFIG_LIBUBPF_MAIN_FUNCTION is not set
# end of Library Configuration

#
# Application Options
#

#
# 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_NOOMITFP=y
# CONFIG_OPTIMIZE_DEADELIM is not set
# CONFIG_OPTIMIZE_LTO is not set
# CONFIG_OPTIMIZE_PIE 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_WARNISERROR is not set
CONFIG_OPTIMIZE_SYMFILE=y
# CONFIG_OPTIMIZE_COMPRESS is not set
# CONFIG_RECORD_BUILDTIME is not set
CONFIG_CROSS_COMPILE=""
CONFIG_LLVM_TARGET_ARCH=""
# end of Build Options

CONFIG_UK_NAME="click"