Update configurations and instructions

.config.redis-fc-x86_64-initrd

@@ -0,0 +1,282 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Unikraft/0.13.1~67ccbbf6 Configuration
+#
+CONFIG_UK_ARCH="x86_64"
+CONFIG_UK_DEFNAME="redis"
+
+#
+# Architecture Selection
+#
+CONFIG_ARCH_X86_64=y
+CONFIG_MARCH_X86_64_GENERIC=y
+
+#
+# Processor Features
+#
+# end of Processor Features
+
+CONFIG_STACK_SIZE_PAGE_ORDER=4
+# end of Architecture Selection
+
+#
+# Platform Configuration
+#
+CONFIG_PLAT_KVM=y
+CONFIG_KVM_BOOT_PROTO_LXBOOT=y
+CONFIG_KVM_VMM_FIRECRACKER=y
+
+#
+# Console Options
+#
+CONFIG_KVM_KERNEL_SERIAL_CONSOLE=y
+CONFIG_KVM_KERNEL_VGA_CONSOLE=y
+CONFIG_KVM_DEBUG_SERIAL_CONSOLE=y
+CONFIG_KVM_DEBUG_VGA_CONSOLE=y
+
+#
+# Serial console configuration
+#
+CONFIG_KVM_SERIAL_BAUD_115200=y
+# end of Serial console configuration
+# end of Console Options
+
+CONFIG_KVM_MAX_IRQ_HANDLER_ENTRIES=8
+CONFIG_VIRTIO_BUS=y
+
+#
+# Virtio
+#
+CONFIG_VIRTIO_NET=y
+# end of Virtio
+
+CONFIG_UKPLAT_ALLOW_GIC=y
+
+#
+# Platform Interface Options
+#
+CONFIG_UKPLAT_LCPU_MAXCOUNT=1
+# end of Platform Interface Options
+
+CONFIG_HZ=100
+# end of Platform Configuration
+
+#
+# Library Configuration
+#
+CONFIG_LIBDEVFS=y
+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_EVENT=y
+CONFIG_LIBPOSIX_FUTEX=y
+CONFIG_LIBPOSIX_LIBDL=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_SOCKET=y
+CONFIG_LIBPOSIX_SYSINFO=y
+CONFIG_LIBPOSIX_TIME=y
+CONFIG_LIBRAMFS=y
+CONFIG_LIBSYSCALL_SHIM=y
+CONFIG_LIBSYSCALL_SHIM_NOWRAPPER=y
+
+#
+# Debugging
+#
+CONFIG_LIBSYSCALL_SHIM_LEGACY_VERBOSE=y
+# end of Debugging
+
+CONFIG_LIBUKALLOC=y
+CONFIG_LIBUKALLOCBBUDDY=y
+CONFIG_LIBUKARGPARSE=y
+CONFIG_LIBUKBOOT=y
+CONFIG_LIBUKBOOT_BANNER_POWEREDBY=y
+CONFIG_LIBUKBOOT_MAXNBARGS=60
+CONFIG_LIBUKBOOT_INITBBUDDY=y
+CONFIG_LIBUKBOOT_INITSCHEDCOOP=y
+CONFIG_LIBUKBUS=y
+CONFIG_LIBUKCPIO=y
+CONFIG_LIBUKDEBUG=y
+CONFIG_LIBUKDEBUG_PRINTK=y
+CONFIG_LIBUKDEBUG_PRINTK_ERR=y
+CONFIG_LIBUKDEBUG_REDIR_PRINTD=y
+CONFIG_LIBUKDEBUG_PRINT_TIME=y
+CONFIG_LIBUKDEBUG_PRINT_SRCNAME=y
+CONFIG_LIBUKDEBUG_ENABLE_ASSERT=y
+CONFIG_LIBUKLIBPARAM=y
+CONFIG_LIBUKLOCK=y
+CONFIG_LIBUKLOCK_SEMAPHORE=y
+CONFIG_LIBUKLOCK_MUTEX=y
+CONFIG_LIBUKLOCK_RWLOCK=y
+CONFIG_LIBUKMMAP=y
+CONFIG_LIBUKMPI=y
+CONFIG_LIBUKMPI_MBOX=y
+CONFIG_LIBUKNETDEV=y
+CONFIG_LIBUKNETDEV_MAXNBQUEUES=1
+CONFIG_LIBUKNETDEV_DISPATCHERTHREADS=y
+CONFIG_LIBUKSCHED=y
+CONFIG_LIBUKSCHED_TCB_INIT=y
+CONFIG_LIBUKSCHEDCOOP=y
+CONFIG_LIBUKSGLIST=y
+CONFIG_LIBUKSIGNAL=y
+CONFIG_LIBUKSTREAMBUF=y
+CONFIG_LIBUKSWRAND=y
+CONFIG_LIBUKSWRAND_CHACHA=y
+CONFIG_LIBUKSWRAND_INITIALSEED_TIME=y
+CONFIG_LIBUKSWRAND_DEVFS=y
+CONFIG_LIBUKTIMECONV=y
+CONFIG_LIBVFSCORE=y
+
+#
+# vfscore: Configuration
+#
+CONFIG_LIBVFSCORE_PIPE_SIZE_ORDER=16
+CONFIG_LIBVFSCORE_AUTOMOUNT_ROOTFS=y
+CONFIG_LIBVFSCORE_ROOTFS_INITRD=y
+CONFIG_LIBVFSCORE_ROOTFS="initrd"
+# end of vfscore: Configuration
+
+CONFIG_HAVE_BOOTENTRY=y
+CONFIG_HAVE_LIBC=y
+CONFIG_HAVE_TIME=y
+CONFIG_HAVE_SCHED=y
+CONFIG_HAVE_NW_STACK=y
+CONFIG_LIBMUSL=y
+CONFIG_LIBMUSL_AIO=y
+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_LIBLWIP=y
+CONFIG_LWIP_UNIKRAFT21X=y
+
+#
+# Netif drivers
+#
+CONFIG_LWIP_UKNETDEV=y
+CONFIG_LWIP_UKNETDEV_SCRATCH=64
+# end of Netif drivers
+
+CONFIG_LWIP_AUTOIFACE=y
+CONFIG_LWIP_THREADS=y
+CONFIG_LWIP_STACKTHREAD_MBOX_SIZE_256=y
+CONFIG_LWIP_STACKTHREAD_MBOX_SIZE=256
+CONFIG_LWIP_HEAP=y
+CONFIG_LWIP_NETIF_EXT_STATUS_CALLBACK=y
+CONFIG_LWIP_NETIF_STATUS_PRINT=y
+CONFIG_LWIP_LOOPBACK=y
+CONFIG_LWIP_IPV4=y
+CONFIG_LWIP_IPV6=y
+
+#
+# IP Configuration
+#
+CONFIG_LWIP_IP_REASS_MAX_PBUFS=10
+# end of IP Configuration
+
+CONFIG_LWIP_UDP=y
+CONFIG_LWIP_TCP=y
+CONFIG_LWIP_TCP_MSS=1460
+CONFIG_LWIP_WND_SCALE=y
+CONFIG_LWIP_TCP_KEEPALIVE=y
+CONFIG_LWIP_TCP_TIMESTAMPS=y
+CONFIG_LWIP_NUM_TCPCON=64
+CONFIG_LWIP_NUM_TCPLISTENERS=64
+CONFIG_LWIP_ICMP=y
+CONFIG_LWIP_DNS=y
+CONFIG_LWIP_DNS_MAX_SERVERS=2
+CONFIG_LWIP_DNS_TABLE_SIZE=32
+CONFIG_LWIP_SOCKET=y
+CONFIG_LWIP_UDP_RECVMBOX_FACTOR=2
+CONFIG_LWIP_TCP_RECVMBOX_FACTOR=2
+CONFIG_LIBREDIS=y
+CONFIG_LIBREDIS_COMMON=y
+CONFIG_LIBREDIS_MAIN_FUNCTION=y
+CONFIG_LIBREDIS_SERVER=y
+CONFIG_LIBREDIS_SERVER_MAIN_FUNCTION=y
+CONFIG_LIBREDIS_LUA=y
+CONFIG_LIBREDIS_HIREDIS=y
+CONFIG_LIBREDIS_HISTOGRAM=y
+# end of Library Configuration
+
+#
+# Build Options
+#
+CONFIG_OPTIMIZE_PERF=y
+
+#
+# Hint: Specify a CPU type to get most benefits from performance optimization
+#
+CONFIG_OPTIMIZE_NOOMITFP=y
+CONFIG_DEBUG_SYMBOLS_LVL3=y
+CONFIG_OPTIMIZE_COMPRESS=y
+CONFIG_CROSS_COMPILE=""
+CONFIG_LLVM_TARGET_ARCH=""
+# end of Build Options
+
+#
+# Application Options
+#
+CONFIG_UK_NAME="redis"

.config.redis_qemu-arm64 → .config.redis-qemu-aarch64-9pfs

@@ -2,11 +2,7 @@
 # Automatically generated file; DO NOT EDIT.
 # Unikraft/0.13.1~f3401222 Configuration
 #
-CONFIG_UK_FULLVERSION="0.13.1~f3401222"
-CONFIG_UK_CODENAME="Atlas"
 CONFIG_UK_ARCH="arm64"
-CONFIG_UK_BASE="/home/teodor/Documents/ac/unikraft_redis/unikraft"
-CONFIG_UK_APP="/home/teodor/Documents/ac/unikraft_redis/apps/redis"
 CONFIG_UK_DEFNAME="redis"
 
 #
@@ -20,9 +16,9 @@ CONFIG_MCPU_ARM64_NONE=y
 #
 # end of Armv8-A Extensions
 
-CONFIG_ARM64_ERRATUM_858921=y
-CONFIG_ARM64_ERRATUM_835769=y
-CONFIG_ARM64_ERRATUM_843419=y
+CONFIG_ARM64_ERRATUM_858921=n
+CONFIG_ARM64_ERRATUM_835769=n
+CONFIG_ARM64_ERRATUM_843419=n
 CONFIG_STACK_SIZE_PAGE_ORDER=4
 # end of Architecture Selection