Re: ipipe-arm64 kernel issue

2019-01-08 Thread Steve Pavao via Xenomai
me which ipipe repo you used for your Dragon board ? > > Thanks, > Pintu > > On Fri, Dec 21, 2018 at 6:18 PM Pintu Agarwal wrote: >> >> On Thu, Dec 13, 2018 at 6:20 PM Steve Pavao via Xenomai >> wrote: >>> >>> >>>> On Dec 12, 20

Re: ipipe-arm64 kernel issue

2018-12-13 Thread Steve Pavao via Xenomai
> On Dec 13, 2018, at 7:50 AM, Steve Pavao wrote: > As I continue to bring up my app, I notice I’m having a segfault (SIGSEGV) > trying to access the general purpose IO pins. > > I notice that /dev/gpiomem is missing from the environment. > I am using the dtb from the ipipe-arm64 build. > >

Re: ipipe-arm64 kernel issue

2018-12-13 Thread Steve Pavao via Xenomai
> On Dec 12, 2018, at 5:21 AM, Philippe Gerum wrote: > > On 12/11/18 10:25 PM, Steve Pavao via Xenomai wrote: >> I have 2 different, basic apps that oops in a very similar way on >> ipipe-arm64 running on R Pi 3B. One of them is rpm, another is my own >> program.

Re: ipipe-arm64 kernel issue

2018-12-12 Thread Steve Pavao via Xenomai
PM, Steve Pavao via Xenomai wrote: >> I have 2 different, basic apps that oops in a very similar way on >> ipipe-arm64 running on R Pi 3B. One of them is rpm, another is my own >> program. >> >> Here is the partial backtrace for the ‘rpm’ oops. The backtrace for m

ipipe-arm64 kernel config questions

2018-11-26 Thread Steve Pavao via Xenomai
Is there a kernel config snippet available which contains only the real-time specific options of the ipipe-arm64 kernel? If so, could someone please point me to it? If not, could someone please make it available? I need it so I can merge it with the config I use in Yocto to build my