added config file

Signed-off-by: Valentin-Razvan Bogdan <[email protected]>

Author: BVRazvan

rs-hello/.config

@@ -0,0 +1,305 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Unikraft/0.18.0~12072b5f Configuration
+#
+CONFIG_UK_FULLVERSION="0.18.0~12072b5f"
+CONFIG_UK_CODENAME="Helene"
+CONFIG_UK_ARCH="x86_64"
+CONFIG_HOST_ARCH="x86_64"
+CONFIG_UK_BASE="/home/bvrazvan/catalog-core-fork/repos/unikraft"
+CONFIG_UK_APP="/home/bvrazvan/catalog-core-fork/rs-hello"
+CONFIG_UK_DEFNAME="rs-hello"
+
+#
+# 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
+CONFIG_STACK_SIZE_PAGE_ORDER=4
+CONFIG_CPU_EXCEPT_STACK_SIZE_PAGE_ORDER=4
+CONFIG_AUXSTACK_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
+# 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
+
+#
+# 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
+
+#
+# Random Number Generator
+#
+# CONFIG_LIBUKRANDOM_LCPU is not set
+# end of Random Number Generator
+
+#
+# Serial console
+#
+CONFIG_HAVE_IBMPC_NS16550=y
+CONFIG_LIBNS16550=y
+CONFIG_LIBNS16550_EARLY_CONSOLE=y
+CONFIG_LIBNS16550_COM_AVAIL=y
+CONFIG_LIBNS16550_COM1=y
+CONFIG_LIBNS16550_COM1_BAUD_115200=y
+# CONFIG_LIBNS16550_COM1_BAUD_57600 is not set
+# CONFIG_LIBNS16550_COM1_BAUD_38400 is not set
+# CONFIG_LIBNS16550_COM1_BAUD_19200 is not set
+# CONFIG_LIBNS16550_COM2 is not set
+# CONFIG_LIBNS16550_COM3 is not set
+# CONFIG_LIBNS16550_COM4 is not set
+CONFIG_LIBNS16550_COM1_EARLY=y
+CONFIG_HAVE_IBMPC_VGA=y
+CONFIG_LIBVGACONS=y
+# end of Serial console
+
+#
+# Virtio
+#
+CONFIG_HAVE_MMIO=y
+# end of Virtio
+
+#
+# Xen
+#
+# CONFIG_LIBXENEMGCONS is not set
+# end of Xen
+
+CONFIG_HAVE_IBMPC=y
+# 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_FD 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 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_LIBUKBINFMT is not set
+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_CMDLINE_MAX_LEN=4096
+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_LIBUKCONSOLE=y
+# CONFIG_LIBUKCONSOLE_TEST 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 is not set
+# 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 is not set
+# CONFIG_LIBUKMMAP is not set
+# CONFIG_LIBUKMPI is not set
+# CONFIG_LIBUKNETDEV is not set
+# CONFIG_LIBUKNOFAULT is not set
+# CONFIG_LIBUKRANDOM 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 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 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 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="rs-hello"