On Mon, Feb 22, 2021 at 5:15 AM Gabriel Dinse via Xenomai < xenomai@xenomai.org> wrote:
> > 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 Okay, I used that defconfig during the port so there shouldn’t be a problem. Let me try with my repos and I’ll let you know shortly. -Greg > > >