Parameters from Kraftfile do not reach the final image

[Shimimas]

Describe the bug

When building the image, my Kraftfile has the line CONFIG_LIBUKDEBUG: 'n'. The .config.app_x64_86 file contains the line CONFIG_LIBUKDEBUG: 'y'.

Steps to reproduce

I used this kraft configuration

spec: v0.6

template:
source: https://github.com/unikraft/app-elfloader.git
version: staging

rootfs: ./Dockerfile

cmd: ["/bin/mcu"]

volumes:

• ./mcu_unikernel/logs:/logs

unikraft:
source: /home/timophey/unikraft
version: staging
kconfig:
# Configurations options for app-elfloader
# (they can't be part of the template atm)
CONFIG_APPELFLOADER_ARCH_PRCTL: 'y'
CONFIG_APPELFLOADER_BRK: 'y'
CONFIG_APPELFLOADER_CUSTOMAPPNAME: 'y'
CONFIG_APPELFLOADER_STACK_NBPAGES: 128
CONFIG_APPELFLOADER_VFSEXEC: 'y'
CONFIG_APPELFLOADER_VFSEXEC_EXECBIT: 'y'
CONFIG_APPELFLOADER_VFSEXEC_ENVPWD: 'y'
CONFIG_APPELFLOADER_VFSEXEC_ENVPATH: 'y'
CONFIG_APPELFLOADER_AUTOGEN: 'y'
CONFIG_APPELFLOADER_AUTOGEN_ETCRESOLVCONF: 'y'
CONFIG_APPELFLOADER_AUTOGEN_ETCHOSTS: 'y'
CONFIG_APPELFLOADER_AUTOGEN_ETCHOSTS_LOCALHOST4: 'y'
CONFIG_APPELFLOADER_AUTOGEN_ETCHOSTNAME: 'y'
CONFIG_APPELFLOADER_AUTOGEN_REPLACEEXIST: 'y'

# Unikraft options
CONFIG_HAVE_PAGING_DIRECTMAP: 'y'
CONFIG_HAVE_PAGING: 'y'
CONFIG_I8042: 'y'
CONFIG_LIBDEVFS_AUTOMOUNT: 'y'
CONFIG_LIBDEVFS_DEV_NULL: 'y'
CONFIG_LIBDEVFS_DEV_STDOUT: 'y'
CONFIG_LIBDEVFS_DEV_ZERO: 'y'
CONFIG_LIBDEVFS: 'y'
CONFIG_LIBPOSIX_ENVIRON: 'y'
CONFIG_LIBPOSIX_ENVIRON_ENVP0: "PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
CONFIG_LIBPOSIX_ENVIRON_ENVP1: "LD_LIBRARY_PATH=/usr/local/lib:/usr/lib:/lib"
CONFIG_LIBPOSIX_ENVIRON_ENVP2: "HOME=/"
CONFIG_LIBPOSIX_ENVIRON_ENVP3: "PWD=/"
CONFIG_LIBPOSIX_ENVIRON_LIBPARAM: 'y'
CONFIG_LIBPOSIX_EVENTFD: 'y'
CONFIG_LIBPOSIX_FDIO: 'y'
CONFIG_LIBPOSIX_FDTAB: 'y'
CONFIG_LIBPOSIX_FUTEX: 'y'
CONFIG_LIBPOSIX_MMAP: 'y'
CONFIG_LIBPOSIX_NETLINK: 'y'
CONFIG_LIBPOSIX_PIPE: 'y'
CONFIG_LIBPOSIX_POLL: 'y'
CONFIG_LIBPOSIX_PROCESS_CLONE: 'y'
CONFIG_LIBPOSIX_SOCKET: 'y'
CONFIG_LIBPOSIX_SYSINFO: 'y'
CONFIG_LIBPOSIX_TIME: 'y'
CONFIG_LIBPOSIX_TIMERFD: 'y'
CONFIG_LIBPOSIX_UNIXSOCKET: 'y'
CONFIG_LIBPOSIX_USER_GID: 0
CONFIG_LIBPOSIX_USER_GROUPNAME: "root"
CONFIG_LIBPOSIX_USER_UID: 0
CONFIG_LIBPOSIX_USER_USERNAME: "root"
CONFIG_LIBPOSIX_USER: 'y'
CONFIG_LIBRAMFS: 'y'
CONFIG_LIBSYSCALL_SHIM_HANDLER_ULTLS: 'y'
CONFIG_LIBSYSCALL_SHIM_HANDLER: 'y'
CONFIG_LIBSYSCALL_SHIM_LEGACY_VERBOSE: 'y'
CONFIG_LIBSYSCALL_SHIM: 'y'
CONFIG_LIBUKALLOCPOOL: 'y'
CONFIG_LIBUKBLKDEV_SYNC_IO_BLOCKED_WAITING: 'y'
CONFIG_LIBUKBLKDEV: 'y'
CONFIG_LIBUKBOOT_BANNER_MINIMAL: 'y'
CONFIG_LIBUKBOOT_HEAP_BASE: '0x400000000'
CONFIG_LIBUKBOOT_MAINTHREAD: 'y'
CONFIG_LIBUKBOOT_SHUTDOWNREQ_HANDLER: 'y'
CONFIG_LIBUKLIBPARAM: 'y'
CONFIG_LIBUKCPIO: 'y'
CONFIG_LIBUKDEBUG: 'n'
CONFIG_LIBUKDEBUG_PRINTD: 'n'
CONFIG_LIBUKDEBUG_PRINTK_INFO: 'n'
CONFIG_LIBSYSCALL_SHIM_STRACE: 'n'
CONFIG_LIBSYSCALL_SHIM_DEBUG: 'n'
CONFIG_LIBNOLIBC_UKDEBUG_ASSERT: 'n'
CONFIG_LIBUKDEBUG_PRINTK: 'n'
CONFIG_LIBUKDEBUG_PRINTK_ERR: 'n'
CONFIG_LIBUKDEBUG_REDIR_PRINTD: 'n'
CONFIG_LIBUKDEBUG_PRINT_TIME: 'n'
CONFIG_LIBUKDEBUG_ENABLE_ASSERT: 'n'
CONFIG_DEBUG_SYMBOLS_LVL3: 'n'
CONFIG_LIBSYSCALL_SHIM_LEGACY_VERBOSE: 'n'
CONFIG_LIBUKFALLOC: 'y'
CONFIG_LIBUKMPI: 'n'
CONFIG_LIBUKSIGNAL: 'y'
CONFIG_LIBUKRANDOM_DEVFS: 'y'
CONFIG_LIBUKRANDOM: 'y'
CONFIG_LIBUKRANDOM_GETRANDOM: 'y'
CONFIG_LIBUKRANDOM_CMDLINE_SEED: 'y'
CONFIG_LIBUKRANDOM_LCPU: 'y'
CONFIG_LIBUKVMEM_DEFAULT_BASE: '0x0000001000000000'
CONFIG_LIBUKVMEM_DEMAND_PAGE_IN_SIZE: 12
CONFIG_LIBUKVMEM_PAGEFAULT_HANDLER_PRIO: 4
CONFIG_LIBUKVMEM: 'y'
CONFIG_LIBVFSCORE_AUTOMOUNT_CI_EINITRD: 'y'
CONFIG_LIBVFSCORE_AUTOMOUNT_CI: 'y'
CONFIG_LIBVFSCORE_AUTOMOUNT_FB: 'y'
CONFIG_LIBVFSCORE_AUTOMOUNT_FB0_DEV: "embedded"
CONFIG_LIBVFSCORE_AUTOMOUNT_FB0_DRIVER: "extract"
CONFIG_LIBVFSCORE_AUTOMOUNT_FB0_MP: "/"
CONFIG_LIBVFSCORE_AUTOMOUNT_UP: 'y'
CONFIG_LIBVFSCORE_AUTOMOUNT: 'y'
CONFIG_LIBVFSCORE_NONLARGEFILE: 'y'
CONFIG_LIBVFSCORE: 'y'
CONFIG_LIBUK9P: 'y'
CONFIG_OPTIMIZE_DEADELIM: 'y'
CONFIG_OPTIMIZE_LTO: 'y'
CONFIG_PAGING: 'y'
CONFIG_STACK_SIZE_PAGE_ORDER: 4 # 128 * 4K = 512K
CONFIG_UKPLAT_KSP_SIZE: 32768
CONFIG_UKPLAT_MEMREGION_MAX_COUNT: 64
CONFIG_LIBUKNETDEV: 'y'
CONFIG_LIBUKNETDEV_EINFO_LIBPARAM: 'y'
CONFIG_LIBNOLIBC_FD_SETSIZE: 32768
CONFIG_LIBPOSIX_FDTAB_MAXFDS: 32768

libraries:
lwip:
source: https://github.com/unikraft/lib-lwip.git
version: staging
kconfig:
CONFIG_LWIP_LOOPIF: 'y'
CONFIG_LWIP_UKNETDEV: 'y'
CONFIG_LWIP_LOOPBACK: 'y'
CONFIG_LWIP_TCP: 'y'
CONFIG_LWIP_UDP: 'y'
CONFIG_LWIP_RAW: 'y'
CONFIG_LWIP_WND_SCALE: 'y'
CONFIG_LWIP_TCP_KEEPALIVE: 'y'
CONFIG_LWIP_THREADS: 'y'
CONFIG_LWIP_HEAP: 'y'
CONFIG_LWIP_SOCKET: 'y'
CONFIG_LWIP_AUTOIFACE: 'y'
CONFIG_LWIP_IPV4: 'y'
CONFIG_LWIP_DHCP: 'y'
CONFIG_LWIP_WAITIFACE: 'y'
# Lwip's DNS support is not used for bin compat programs (elfloader)
# HINT: Native builds with musl should set CONFIG_LIBMUSL_NETWORK_LWIP_DNS together with CONFIG_LWIP_DNS
CONFIG_LWIP_DNS: 'n'
CONFIG_LWIP_NUM_TCPCON: 32768
CONFIG_LWIP_NUM_TCPLISTENERS: 32768
CONFIG_LWIP_ICMP: 'y'
libelf:
source: https://github.com/unikraft/lib-libelf.git
version: staging

targets:

• qemu/x86_64

Expected behavior

All declared parameters will be added to the image

Which architectures were you using or does this bug affect?

x86_64

Which operating system were you using or does this bug affect?

linux/debian

Relevant log output

[craciunoiuc]

There can be a number of reasons why this happens, for example:

• The work directory contained an existing .config file which overwrote your settings (sometimes happens) -> try deleting all .config-* files and retry
• There is an option in there that selects/implies the UKDEBUG option -> run the build once and then run kraft menuconfig and look for LIBUKDEBUG (you can use / key to search if I remember correctly)

If none are true, then I'll need to also try it out. For this, please use triple backticks for the kraftfile that you posted, so I can easily copy paste it and try it out. (these: ```)

[craciunoiuc]

Hey, can you check if this still happens with the latest release?

[craciunoiuc]

Ok, so I can somewhat reporduce this. Meaning: trying to turn of LIBUKDEBUG fails, but turning off others works.

This means that most probably this option is selected by another option. This means you can't turn it off without also turning that off also.

You can use kraft menuconfig to check more about this

Let me know if this is true, and then we can close this issue

[craciunoiuc]

@Shimimas ping, did you get time to try it out?