#
# Automatically generated file; DO NOT EDIT.
# Unikraft/0.17.0~e7be641 Configuration
#
CONFIG_UK_FULLVERSION="0.17.0~e7be641"
CONFIG_UK_CODENAME="Calypso"
CONFIG_UK_ARCH="x86_64"
CONFIG_HOST_ARCH="x86_64"
CONFIG_UK_BASE="/home/lobo/home/unikraft-zig-native-hello/.unikraft/unikraft"
CONFIG_UK_APP="/home/lobo/home/unikraft-zig-native-hello"
CONFIG_UK_DEFNAME="helloworld"

#
# 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=y
# end of Processor Features

CONFIG_STACK_SIZE_PAGE_ORDER=4
CONFIG_CPU_EXCEPT_STACK_SIZE_PAGE_ORDER=4
CONFIG_AUXSTACK_SIZE_PAGE_ORDER=4
CONFIG_HAVE_RANDOM=y
# 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_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
# end of Platform Configuration

#
# Device Drivers
#

#
# Real Time Clock
#
# end of Real Time Clock

#
# Serial console
#
# end of Serial console

#
# Bus drivers
#
CONFIG_HAVE_PCI=y
# CONFIG_LIBUKBUS_PCI is not set
# CONFIG_LIBUKBUS_PLATFORM is not set
# 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_HAVE_MMIO=y
# end of Virtio

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

#
# Library Configuration
#
CONFIG_LIBISRLIB=y
CONFIG_LIBNOLIBC=y
CONFIG_LIBNOLIBC_UKDEBUG_ASSERT=y
# CONFIG_LIBNOLIBC_SYSLOG is not set
CONFIG_LIBNOLIBC_FD_SETSIZE=64
# CONFIG_LIBPOSIX_ENVIRON is not set
# CONFIG_LIBPOSIX_EVENTFD is not set
# CONFIG_LIBPOSIX_FDIO is not set
# CONFIG_LIBPOSIX_FDTAB is not set
# CONFIG_LIBPOSIX_FUTEX is not set
# CONFIG_LIBPOSIX_LIBDL is not set
# CONFIG_LIBPOSIX_PIPE is not set
# CONFIG_LIBPOSIX_POLL is not set
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 is not set
# CONFIG_LIBPOSIX_PROCESS_DEBUG is not set
# CONFIG_LIBPOSIX_SOCKET is not set
# CONFIG_LIBPOSIX_SYSINFO is not set
# CONFIG_LIBPOSIX_TIME is not set
# CONFIG_LIBPOSIX_TIMERFD is not set
# CONFIG_LIBPOSIX_TTY is not set
# CONFIG_LIBPOSIX_UNIXSOCKET is not set
# CONFIG_LIBPOSIX_USER is not set
# CONFIG_LIBSYSCALL_SHIM is not set
# CONFIG_LIBUBSAN is not set
# CONFIG_LIBUK9P is not set
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_LIBUKALLOCSTACK=y
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 is not set
# 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=y
# CONFIG_LIBUKBOOT_BANNER_POWEREDBY_U8ANSI2 is not set
CONFIG_LIBUKBOOT_MAXNBARGS=60
CONFIG_LIBUKBOOT_INITALLOC=y
CONFIG_LIBUKBOOT_INITBBUDDY=y
# CONFIG_LIBUKBOOT_INITREGION is not set
# CONFIG_LIBUKBOOT_INITNOALLOC is not set
CONFIG_LIBUKBOOT_INITSCHED=y
CONFIG_LIBUKBOOT_INITSCHEDCOOP=y
# CONFIG_LIBUKBOOT_INITNOSCHED is not set
# CONFIG_LIBUKBOOT_MAINTHREAD is not set
CONFIG_LIBUKBOOT_ALLOCSTACK=y
# CONFIG_LIBUKBUS is not set
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_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 is not set
CONFIG_LIBUKLOCK=y
CONFIG_LIBUKLOCK_SEMAPHORE=y
CONFIG_LIBUKLOCK_MUTEX=y
# CONFIG_LIBUKLOCK_MUTEX_METRICS is not set
CONFIG_LIBUKLOCK_RWLOCK=y
# CONFIG_LIBUKMMAP is not set
# CONFIG_LIBUKMPI is not set
# CONFIG_LIBUKNETDEV is not set
# CONFIG_LIBUKNOFAULT is not set
CONFIG_LIBUKRANDOM=y
# CONFIG_LIBUKRANDOM_SEED_INSECURE is not set
# CONFIG_LIBUKRING is not set
# CONFIG_LIBUKRUST is not set
CONFIG_LIBUKSCHED=y
# CONFIG_LIBUKSCHED_DEBUG is not set
CONFIG_LIBUKSCHEDCOOP=y
# CONFIG_LIBUKSGLIST is not set
# CONFIG_LIBUKSIGNAL is not set
# CONFIG_LIBUKSP is not set
# CONFIG_LIBUKSTORE is not set
CONFIG_LIBUKSTREAMBUF=y
# CONFIG_LIBUKSTREAMBUF_TEST is not set
# CONFIG_LIBUKTEST is not set
CONFIG_LIBUKTIMECONV=y
# CONFIG_LIBUKVMEM is not set
# CONFIG_LIBVFSCORE is not set
CONFIG_HAVE_BOOTENTRY=y
CONFIG_HAVE_SCHED=y
# end of Library Configuration

#
# Application Options
#

#
# Build Options
#
CONFIG_OPTIMIZE_NONE=y
# CONFIG_OPTIMIZE_PERF is not set
# CONFIG_OPTIMIZE_SIZE is not set
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 is not set
# 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="helloworld"