> This is a 32-bit build running on the rpi3?
Yes, it is
> I have some ipipe fixes coming, but I don't think these are ipipe
related.
> Can you show how you patched and built your kernel? I'll try to
reproduce
> on my end. What compiler are you using?
For patching the kernel, I did:
xenomai-3.1 on main ➜ ./scripts/prepare-kernel.sh
--linux=~/Projects/linux-kernels/linux-5.4.93-ipipe --arch=arm
--ipipe=~/Projects/linux-kernels/ipipe-core-5.4.93-arm-0.patch
The config I'm using is multi_v7_defconfig modified a little bit. The
same configuration was fine for Vanilla kernel using the same version
(5.4.93), as I was pretending to compare both.
Toolchain I'm using, selected directly on buildroot-2020.02.11 long
term is: Linaro ARM 2018.05
