>>> linux 6.12.7 Extracting
xzcat /workdir/instance-0/dl/linux/linux-6.12.7.tar.xz | tar --strip-components=1 -C /workdir/instance-0/output-1/build/linux-6.12.7   -xf -
fbtft-274035404701245e7491c0c6471c5b72ade4d491.tar.gz: OK (sha256: 0e81de89fdd7ab810716fc0549e767527f342e829309dee5c2cca1e9d1728770)
>>> fbtft 274035404701245e7491c0c6471c5b72ade4d491 Extracting
gzip -d -c /workdir/instance-0/dl/fbtft/fbtft-274035404701245e7491c0c6471c5b72ade4d491.tar.gz | tar --strip-components=1 -C /workdir/instance-0/output-1/build/fbtft-274035404701245e7491c0c6471c5b72ade4d491   -xf -
>>> fbtft 274035404701245e7491c0c6471c5b72ade4d491 Patching
>>> xenomai 3.2.5 Downloading
wget -nd -t 3 --no-check-certificate -O '/workdir/instance-0/output-1/build/.xenomai-3.2.5.tar.bz2.pkH94p/output' 'https://source.denx.de/Xenomai/xenomai/-/archive/v3.2.5/xenomai-3.2.5.tar.bz2' 
WARNING: The certificate is NOT trusted. The certificate issuer is unknown. 
[0] Downloading 'https://source.denx.de/Xenomai/xenomai/-/archive/v3.2.5/xenomai-3.2.5.tar.bz2' ...
Saving '/workdir/instance-0/output-1/build/.xenomai-3.2.5.tar.bz2.pkH94p/output'
HTTP response 200  [https://source.denx.de/Xenomai/xenomai/-/archive/v3.2.5/xenomai-3.2.5.tar.bz2]
xenomai-3.2.5.tar.bz2: OK (sha256: ec47f07057ec3ff290c4ef3779cc8c680bb2c60cfd55e2e1a8cb254d7ad3cfad)
>>> xenomai 3.2.5 Extracting
bzcat /workdir/instance-0/dl/xenomai/xenomai-3.2.5.tar.bz2 | tar --strip-components=1 -C /workdir/instance-0/output-1/build/xenomai-3.2.5   -xf -
>>> xenomai 3.2.5 Patching

Applying 0001-lib-psos-task.c-fix-build-with-gcc-12.patch using patch: 
patching file lib/psos/task.c

Applying 0002-smokey-fix-build-failure.patch using patch: 
patching file include/smokey/smokey.h
>>> xenomai 3.2.5 Updating config.sub and config.guess
for file in config.guess config.sub; do for i in $(find /workdir/instance-0/output-1/build/xenomai-3.2.5 -name $file); do cp support/gnuconfig/$file $i; done; done
>>> linux 6.12.7 Patching
if [ -e /workdir/instance-0/output-1/build/linux-6.12.7/drivers/video/fbdev ]; then dest=drivers/video/fbdev ; else dest=drivers/video ; fi ; mkdir -p /workdir/instance-0/output-1/build/linux-6.12.7/${dest}/fbtft; cp -dpfr /workdir/instance-0/output-1/build/fbtft-274035404701245e7491c0c6471c5b72ade4d491/* /workdir/instance-0/output-1/build/linux-6.12.7/${dest}/fbtft/ ; echo "source \"${dest}/fbtft/Kconfig\"" >> /workdir/instance-0/output-1/build/linux-6.12.7/${dest}/Kconfig ; echo 'obj-y += fbtft/' >> /workdir/instance-0/output-1/build/linux-6.12.7/${dest}/Makefile
/workdir/instance-0/output-1/build/xenomai-3.2.5/scripts/prepare-kernel.sh --linux=/workdir/instance-0/output-1/build/linux-6.12.7 --arch=x86_64 --default --verbose
Preparing kernel 6.12.7 in /workdir/instance-0/output-1/build/linux-6.12.7...
IRQ pipeline found - bypassing patch.
IRQ pipeline installed.
/workdir/instance-0/output-1/build/xenomai-3.2.5/scripts/prepare-kernel.sh: line 115: cd: /workdir/instance-0/output-1/build/xenomai-3.2.5/include/cobalt/kernel//pipeline: No such file or directory
make: *** [package/pkg-generic.mk:245: /workdir/instance-0/output-1/build/linux-6.12.7/.stamp_patched] Error 1
make: Leaving directory '/workdir/instance-0/buildroot'