2024-07-09 02:51:48 +00:00
|
|
|
#
|
|
|
|
|
# Automatically generated file; DO NOT EDIT.
|
2024-07-09 04:53:02 +00:00
|
|
|
# Unikraft/0.17.0~e7be641 Configuration
|
2024-07-09 02:51:48 +00:00
|
|
|
#
|
2024-07-09 04:53:02 +00:00
|
|
|
CONFIG_UK_FULLVERSION="0.17.0~e7be641"
|
2024-07-09 02:51:48 +00:00
|
|
|
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"
|
