Re: Re: Re: Incompatible pointer type error when compiling kernel

2021-02-25 Thread Gabriel Dinse via Xenomai
On Thu, Feb 25, 2021 at 3:15 pm, Greg Gallagher wrote: On Wed, Feb 24, 2021 at 8:42 PM Gabriel Dinse mailto:gabriel_di...@hotmail.com>> wrote: On Wed, Feb 24, 2021 at 4:13 pm, Greg Gallagher mailto:g...@embeddedgreg.com>> wrote: On Wed, Feb 24, 2021 at 4:10 PM Gabriel Dinse mailto

Re: Re: Re: Incompatible pointer type error when compiling kernel

2021-02-25 Thread Greg Gallagher via Xenomai
On Wed, Feb 24, 2021 at 8:42 PM Gabriel Dinse wrote: > > > On Wed, Feb 24, 2021 at 4:13 pm, Greg Gallagher > wrote: > > > > On Wed, Feb 24, 2021 at 4:10 PM Gabriel Dinse > wrote: > >> >> >> On Wed, Feb 24, 2021 at 3:43 pm, Greg Gallagher >> wrote: >> >> >> >> On Wed, Feb 24, 2021 at 3:42 PM Ga

Re: Re: Re: Incompatible pointer type error when compiling kernel

2021-02-24 Thread Gabriel Dinse via Xenomai
On Wed, Feb 24, 2021 at 4:13 pm, Greg Gallagher wrote: On Wed, Feb 24, 2021 at 4:10 PM Gabriel Dinse mailto:gabriel_di...@hotmail.com>> wrote: On Wed, Feb 24, 2021 at 3:43 pm, Greg Gallagher mailto:g...@embeddedgreg.com>> wrote: On Wed, Feb 24, 2021 at 3:42 PM Gabriel Dinse mailto

Re: Re: Re: Incompatible pointer type error when compiling kernel

2021-02-24 Thread Gabriel Dinse via Xenomai
On Wed, Feb 24, 2021 at 3:43 pm, Greg Gallagher wrote: On Wed, Feb 24, 2021 at 3:42 PM Gabriel Dinse mailto:gabriel_di...@hotmail.com>> wrote: On Wed, Feb 24, 2021 at 3:40 pm, Greg Gallagher mailto:g...@embeddedgreg.com>> wrote: On Wed, Feb 24, 2021 at 3:33 PM Gabriel Dinse mailto

Re: Re: Re: Incompatible pointer type error when compiling kernel

2021-02-24 Thread Gabriel Dinse via Xenomai
On Wed, Feb 24, 2021 at 3:40 pm, Greg Gallagher wrote: On Wed, Feb 24, 2021 at 3:33 PM Gabriel Dinse mailto:gabriel_di...@hotmail.com>> wrote: On Wed, Feb 24, 2021 at 12:05 am, Greg Gallagher mailto:g...@embeddedgreg.com>> wrote: On Mon, Feb 22, 2021 at 6:30 PM Gabriel Dinse mailt

Re: Re: Re: Incompatible pointer type error when compiling kernel

2021-02-24 Thread Gabriel Dinse via Xenomai
On Wed, Feb 24, 2021 at 12:05 am, Greg Gallagher wrote: On Mon, Feb 22, 2021 at 6:30 PM Gabriel Dinse mailto:gabriel_di...@hotmail.com>> wrote: On Mon, Feb 22, 2021 at 6:08 pm, Greg Gallagher mailto:g...@embeddedgreg.com>> wrote: On Mon, Feb 22, 2021 at 5:44 PM Gabriel Dinse mailt

Fwd: Re: Re: Incompatible pointer type error when compiling kernel

2021-02-22 Thread Gabriel Dinse via Xenomai
On Mon, Feb 22, 2021 at 6:08 pm, Greg Gallagher wrote: On Mon, Feb 22, 2021 at 5:44 PM Gabriel Dinse mailto:gabriel_di...@hotmail.com>> wrote: On Mon, Feb 22, 2021 at 5:26 pm, Greg Gallagher mailto:g...@embeddedgreg.com>> wrote: On Mon, Feb 22, 2021 at 3:19 PM Gabriel Dinse mailto

Re: Re: Incompatible pointer type error when compiling kernel

2021-02-22 Thread Greg Gallagher via Xenomai
On Mon, Feb 22, 2021 at 5:44 PM Gabriel Dinse wrote: > > > On Mon, Feb 22, 2021 at 5:26 pm, Greg Gallagher > wrote: > > > > On Mon, Feb 22, 2021 at 3:19 PM Gabriel Dinse > wrote: > >> >> >> On Mon, Feb 22, 2021 at 9:12 am, Greg Gallagher >> wrote: >> >> >> >> On Mon, Feb 22, 2021 at 5:15 AM Ga

Fwd: Re: Incompatible pointer type error when compiling kernel

2021-02-22 Thread Gabriel Dinse via Xenomai
On Mon, Feb 22, 2021 at 5:26 pm, Greg Gallagher wrote: On Mon, Feb 22, 2021 at 3:19 PM Gabriel Dinse mailto:gabriel_di...@hotmail.com>> wrote: On Mon, Feb 22, 2021 at 9:12 am, Greg Gallagher mailto:g...@embeddedgreg.com>> wrote: On Mon, Feb 22, 2021 at 5:15 AM Gabriel Dinse via Xen

Re: Incompatible pointer type error when compiling kernel

2021-02-22 Thread Greg Gallagher via Xenomai
On Mon, Feb 22, 2021 at 3:19 PM Gabriel Dinse wrote: > > > On Mon, Feb 22, 2021 at 9:12 am, Greg Gallagher > wrote: > > > > 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

Re: Incompatible pointer type error when compiling kernel

2021-02-22 Thread Gabriel Dinse via Xenomai
On Mon, Feb 22, 2021 at 9:12 am, Greg Gallagher wrote: On Mon, Feb 22, 2021 at 5:15 AM Gabriel Dinse via Xenomai mailto: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.

Re: Incompatible pointer type error when compiling kernel

2021-02-22 Thread Greg Gallagher via Xenomai
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 tr

Re: Incompatible pointer type error when compiling kernel

2021-02-22 Thread Gabriel Dinse via Xenomai
> 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-

Re: Incompatible pointer type error when compiling kernel

2021-02-21 Thread Greg Gallagher via Xenomai
On Sun, Feb 21, 2021 at 7:25 PM Gabriel Dinse via Xenomai < xenomai@xenomai.org> wrote: > Hello, > I'm currently compiling linux 5.4.93 patched with xenomai 3.1, > using ipipe 5.4.93 for arm. The system is intended to run on a raspberry > pi 3 b, but I'm getting the following errors related to inc

Incompatible pointer type error when compiling kernel

2021-02-21 Thread Gabriel Dinse via Xenomai
Hello, I'm currently compiling linux 5.4.93 patched with xenomai 3.1, using ipipe 5.4.93 for arm. The system is intended to run on a raspberry pi 3 b, but I'm getting the following errors related to incompatible pointer type: CALLscripts/atomic/check-atomics.sh CALLscripts/checksyscalls