hi Jan&Quirin: with the x86-64_defconfig in gitlab.denx.de/Xenomai/xenomai-images, the built image cannot boot on our test device (CPU is WHL8665U) after changed to another defconfig, finally we make it boot OK. To print boot msg we add kernel cmdline: console=tty1 console=ttyS0, 115200n8 So I am curious on which cpu that you are testing ipipe-x86-4.19.y-cip? Why console is missing in the kernel cmdline?
BR / Fino (孟祥夫) Intel – IOTG Developer Enabling