Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-27 Thread Salvatore Barone
It works! Thanks Greg!
If you're interested, I can post a script that do all the work!


2018-04-26 19:08 GMT+02:00 Greg Gallagher :

> Sounds good, and I will test out the 4.9.51 patch tonight and see what
> happens.
>
> On Thu, Apr 26, 2018 at 1:05 PM, Salvatore Barone
>  wrote:
> > Ok, I'll try.
> >
> > I keep you updated
> > Thanks a lot!
> >
> > 2018-04-26 19:02 GMT+02:00 Greg Gallagher :
> >>
> >> You can clone this:
> >> git://git.xenomai.org/ipipe-arm.git
> >>
> >> Then when you patch the kernel with scripts/prepare-kernel.sh leave
> >> --ipipe= blank or not add that argument.  If you add --verbose to
> >> prepare-kernel you should see that the script detects the ipipe is
> >> already present in the tree and then just creates the symlinks.  Or at
> >> least that's how I think it works :)
> >>
> >> -Greg
> >>
> >> On Thu, Apr 26, 2018 at 12:58 PM, Salvatore Barone
> >>  wrote:
> >> > Thanks, but I have to got it by myself. It's a matter of principle
> now!
> >> > Can I patch the 4.14 Xilinx Kernel with the 4.9.51 I-Pipe patch and
> get
> >> > Xenomai working on it?
> >> >
> >> > 2018-04-26 18:56 GMT+02:00 Greg Gallagher :
> >> >>
> >> >> okay, I will try to reproduce tonight.  If you need to be up and
> >> >> running i can send you a 4.14 image, (4.14 kernel with Ubuntu 16.04
> >> >> fs) to test out.
> >> >>
> >> >> -Greg
> >> >>
> >> >> On Thu, Apr 26, 2018 at 12:54 PM, Salvatore Barone
> >> >>  wrote:
> >> >> > Just before the last attempt! About two hours ago...
> >> >> >
> >> >> > 2018-04-26 18:43 GMT+02:00 Greg Gallagher :
> >> >> >>
> >> >> >> git clone git://git.xenomai.org/xenomai-3.git
> >> >> >> git checkout stable-3.0.x
> >> >> >>
> >> >> >> When was the last time you sync'd with the Linux stable tree?
> >> >> >>
> >> >> >> On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
> >> >> >>  wrote:
> >> >> >> > Which repo sould I use?
> >> >> >> >
> >> >> >> >
> >> >> >> > 2018-04-26 18:35 GMT+02:00 Greg Gallagher <
> g...@embeddedgreg.com>:
> >> >> >> >>
> >> >> >> >> My email cutoff the last part of your panic, I can see the full
> >> >> >> >> log
> >> >> >> >> now.
> >> >> >> >> Try using the latest git repo, so checkout the stable-3.0.x
> >> >> >> >> branch
> >> >> >> >> for
> >> >> >> >> Xenomai.  The only difference between my test setup is I'm
> using
> >> >> >> >> the
> >> >> >> >> stable
> >> >> >> >> branch.  I'll attempt to reproduce tonight if you still see the
> >> >> >> >> error.
> >> >> >> >>
> >> >> >> >> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
> >> >> >> >>  wrote:
> >> >> >> >>>
> >> >> >> >>> No, I'm patching the 4.9.51 mainline Linux Kernel with the
> >> >> >> >>> 4.9.51
> >> >> >> >>> I-Pipe
> >> >> >> >>> patch. I'm using Xenomai 3.0.6 library and Linaro latest
> debian
> >> >> >> >>> root
> >> >> >> >>> filesystem (2017 something)
> >> >> >> >>>
> >> >> >> >>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher
> >> >> >> >>> :
> >> >> >> 
> >> >> >> 
> >> >> >>  Are you patching the Xilinx Linux kernel with the Xenomai
> >> >> >>  patch?
> >> >> >>  Have
> >> >> >>  you tried mainline?
> >> >> >> 
> >> >> >>  Greg
> >> >> >>  From: salvator.bar...@gmail.com
> >> >> >>  Sent: April 26, 2018 12:01 PM
> >> >> >>  To: g...@embeddedgreg.com
> >> >> >>  Cc: xenomai@xenomai.org
> >> >> >>  Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe
> 4.9.51
> >> >> >>  and
> >> >> >>  Linux
> >> >> >>  4.9.51 on Xilinx Zynq 7000 MPSOC
> >> >> >> 
> >> >> >>  Hi Greg! I've read all your blog post on this argument! With
> >> >> >>  the
> >> >> >>  xilinz
> >> >> >>  linux kernel i have no problem!
> >> >> >> 
> >> >> >>  Saluti,
> >> >> >>  Salvatore Barone.
> >> >> >> 
> >> >> >>  Il Gio 26 Apr 2018, 16:25 Greg Gallagher
> >> >> >>  
> >> >> >>  ha
> >> >> >>  scritto:
> >> >> >> >
> >> >> >> > If you load a non Xenomai kernel do you see the panic?  I
> >> >> >> > think
> >> >> >> > there's an issue with your rootfs. I've tested zynq running
> on
> >> >> >> > 4.14
> >> >> >> > ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a
> >> >> >> > ubuntu
> >> >> >> > and
> >> >> >> > busybox file system with no issues.  I've tested on Zybo,
> >> >> >> > Minized
> >> >> >> > and
> >> >> >> > the Zc702 board.  If it's a rootfs problem and not Xenomai
> >> >> >> > related I
> >> >> >> > can help you off list.  Try loading a non Xenomai kernel and
> >> >> >> > see
> >> >> >> > if
> >> >> >> > the panic still exists.
> >> >> >> >
> >> >> >> >
> >> >> >> > -Greg
> >> >> >> >
> >> >> >> > On Thu, Apr 26, 2018 at 10:10 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-27 Thread Salvatore Barone
Just before the last attempt! About two hours ago...

2018-04-26 18:43 GMT+02:00 Greg Gallagher :

> git clone git://git.xenomai.org/xenomai-3.git
> git checkout stable-3.0.x
>
> When was the last time you sync'd with the Linux stable tree?
>
> On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
>  wrote:
> > Which repo sould I use?
> >
> >
> > 2018-04-26 18:35 GMT+02:00 Greg Gallagher :
> >>
> >> My email cutoff the last part of your panic, I can see the full log now.
> >> Try using the latest git repo, so checkout the stable-3.0.x branch for
> >> Xenomai.  The only difference between my test setup is I'm using the
> stable
> >> branch.  I'll attempt to reproduce tonight if you still see the error.
> >>
> >> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
> >>  wrote:
> >>>
> >>> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51
> I-Pipe
> >>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian root
> >>> filesystem (2017 something)
> >>>
> >>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher :
> 
> 
>  Are you patching the Xilinx Linux kernel with the Xenomai patch? Have
>  you tried mainline?
> 
>  Greg
>  From: salvator.bar...@gmail.com
>  Sent: April 26, 2018 12:01 PM
>  To: g...@embeddedgreg.com
>  Cc: xenomai@xenomai.org
>  Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
> Linux
>  4.9.51 on Xilinx Zynq 7000 MPSOC
> 
>  Hi Greg! I've read all your blog post on this argument! With the
> xilinz
>  linux kernel i have no problem!
> 
>  Saluti,
>  Salvatore Barone.
> 
>  Il Gio 26 Apr 2018, 16:25 Greg Gallagher  ha
>  scritto:
> >
> > If you load a non Xenomai kernel do you see the panic?  I think
> > there's an issue with your rootfs. I've tested zynq running on 4.14
> > ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu and
> > busybox file system with no issues.  I've tested on Zybo, Minized and
> > the Zc702 board.  If it's a rootfs problem and not Xenomai related I
> > can help you off list.  Try loading a non Xenomai kernel and see if
> > the panic still exists.
> >
> >
> > -Greg
> >
> > On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
> >  wrote:
> > > Hi all,
> > > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
> > > Digilent Zybo
> > > development board). I've read a lot of tutorial and documentation
> > > before
> > > posting here.
> > > I run into a "kernel panic" and I cannot solve it.
> > > I know to be annoying, but just to be not prone to
> misunderstanding,
> > > I'm
> > > going to report my personal walk-through below!
> > >
> > > In short: I've downloaded Linux stable sources from git, Xenomai 3
> > > and
> > > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as
> > > follow
> > > ---
> > > git clone git://
> > > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
> > > git clone git://git.xenomai.org/xenomai-3.git
> > > wget -O $IPIPE
> > >
> > > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.
> 51-arm-4.patch
> > > cd xenomai-3
> > > ./scripts/prepare-kernel.sh
> > > --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch
> > > --arch=arm
> > > ---
> > > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into
> > > the
> > > arch/arm/configs directory, and then
> > > ---
> > > export ARCH=arm
> > > export CROSS_COMPILE=arm-linux-gnueabihf-
> > > make xilinx_zynq_defconfig
> > > make menuconfig
> > > ---
> > > I've
> > > 1) disabled frequency scaling
> > > 2) disabled CMA
> > > 3) disabled kernel hacks
> > > and then
> > > ---
> > > make
> > > make UIMAGE_LOADADDR=0x8000 uImage modules
> > > make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
> > > ---
> > > So, I compiled the Xenomai 3 library
> > > ---
> > > cd xenomai3
> > > git checkout tags/v3.0.6 -b xenomai_3.0.6
> > > ./scripts/bootstrap
> > > mkdir xeno3_build
> > > cd xeno3_build
> > > ../configure CFLAGS="-march=armv7-a -mfpu=vfp3 -mfloat-abi=hard"
> > > LDFLAGS="-march=armv7-a" --build=x86_64-pc-linux-gnu
> > > --host=arm-none-linux-gnueabi --with-core=cobalt --enable-smp
> > > --enable-tls
> > > CC=arm-linux-gnueabihf-gcc LD=arm-linux-gnueabihf-ld
> > > 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-27 Thread Salvatore Barone
Thanks, but I have to got it by myself. It's a matter of principle now!
Can I patch the 4.14 Xilinx Kernel with the 4.9.51 I-Pipe patch and get
Xenomai working on it?

2018-04-26 18:56 GMT+02:00 Greg Gallagher :

> okay, I will try to reproduce tonight.  If you need to be up and
> running i can send you a 4.14 image, (4.14 kernel with Ubuntu 16.04
> fs) to test out.
>
> -Greg
>
> On Thu, Apr 26, 2018 at 12:54 PM, Salvatore Barone
>  wrote:
> > Just before the last attempt! About two hours ago...
> >
> > 2018-04-26 18:43 GMT+02:00 Greg Gallagher :
> >>
> >> git clone git://git.xenomai.org/xenomai-3.git
> >> git checkout stable-3.0.x
> >>
> >> When was the last time you sync'd with the Linux stable tree?
> >>
> >> On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
> >>  wrote:
> >> > Which repo sould I use?
> >> >
> >> >
> >> > 2018-04-26 18:35 GMT+02:00 Greg Gallagher :
> >> >>
> >> >> My email cutoff the last part of your panic, I can see the full log
> >> >> now.
> >> >> Try using the latest git repo, so checkout the stable-3.0.x branch
> for
> >> >> Xenomai.  The only difference between my test setup is I'm using the
> >> >> stable
> >> >> branch.  I'll attempt to reproduce tonight if you still see the
> error.
> >> >>
> >> >> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
> >> >>  wrote:
> >> >>>
> >> >>> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51
> >> >>> I-Pipe
> >> >>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian root
> >> >>> filesystem (2017 something)
> >> >>>
> >> >>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher :
> >> 
> >> 
> >>  Are you patching the Xilinx Linux kernel with the Xenomai patch?
> Have
> >>  you tried mainline?
> >> 
> >>  Greg
> >>  From: salvator.bar...@gmail.com
> >>  Sent: April 26, 2018 12:01 PM
> >>  To: g...@embeddedgreg.com
> >>  Cc: xenomai@xenomai.org
> >>  Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
> >>  Linux
> >>  4.9.51 on Xilinx Zynq 7000 MPSOC
> >> 
> >>  Hi Greg! I've read all your blog post on this argument! With the
> >>  xilinz
> >>  linux kernel i have no problem!
> >> 
> >>  Saluti,
> >>  Salvatore Barone.
> >> 
> >>  Il Gio 26 Apr 2018, 16:25 Greg Gallagher 
> ha
> >>  scritto:
> >> >
> >> > If you load a non Xenomai kernel do you see the panic?  I think
> >> > there's an issue with your rootfs. I've tested zynq running on
> 4.14
> >> > ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu
> >> > and
> >> > busybox file system with no issues.  I've tested on Zybo, Minized
> >> > and
> >> > the Zc702 board.  If it's a rootfs problem and not Xenomai
> related I
> >> > can help you off list.  Try loading a non Xenomai kernel and see
> if
> >> > the panic still exists.
> >> >
> >> >
> >> > -Greg
> >> >
> >> > On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
> >> >  wrote:
> >> > > Hi all,
> >> > > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
> >> > > Digilent Zybo
> >> > > development board). I've read a lot of tutorial and
> documentation
> >> > > before
> >> > > posting here.
> >> > > I run into a "kernel panic" and I cannot solve it.
> >> > > I know to be annoying, but just to be not prone to
> >> > > misunderstanding,
> >> > > I'm
> >> > > going to report my personal walk-through below!
> >> > >
> >> > > In short: I've downloaded Linux stable sources from git,
> Xenomai 3
> >> > > and
> >> > > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch
> as
> >> > > follow
> >> > > ---
> >> > > git clone git://
> >> > > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
> >> > > git clone git://git.xenomai.org/xenomai-3.git
> >> > > wget -O $IPIPE
> >> > >
> >> > >
> >> > > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.
> 51-arm-4.patch
> >> > > cd xenomai-3
> >> > > ./scripts/prepare-kernel.sh
> >> > > --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch
> >> > > --arch=arm
> >> > > ---
> >> > > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx,
> into
> >> > > the
> >> > > arch/arm/configs directory, and then
> >> > > ---
> >> > > export ARCH=arm
> >> > > export CROSS_COMPILE=arm-linux-gnueabihf-
> >> > > make xilinx_zynq_defconfig
> >> > > make menuconfig
> >> > > ---
> >> > > I've
> >> > > 1) disabled 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-27 Thread Salvatore Barone
Which repo sould I use?


2018-04-26 18:35 GMT+02:00 Greg Gallagher :

> My email cutoff the last part of your panic, I can see the full log now.
> Try using the latest git repo, so checkout the stable-3.0.x branch for
> Xenomai.  The only difference between my test setup is I'm using the stable
> branch.  I'll attempt to reproduce tonight if you still see the error.
>
> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone <
> salvator.bar...@gmail.com> wrote:
>
>> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51 I-Pipe
>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian root
>> filesystem (2017 something)
>>
>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher :
>>
>>>
>>> Are you patching the Xilinx Linux kernel with the Xenomai patch? Have
>>> you tried mainline?
>>>
>>> Greg
>>> *From:* salvator.bar...@gmail.com
>>> *Sent:* April 26, 2018 12:01 PM
>>> *To:* g...@embeddedgreg.com
>>> *Cc:* xenomai@xenomai.org
>>> *Subject:* Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
>>> Linux 4.9.51 on Xilinx Zynq 7000 MPSOC
>>>
>>> Hi Greg! I've read all your blog post on this argument! With the xilinz
>>> linux kernel i have no problem!
>>>
>>> Saluti,
>>> Salvatore Barone.
>>>
>>> Il Gio 26 Apr 2018, 16:25 Greg Gallagher  ha
>>> scritto:
>>>
 If you load a non Xenomai kernel do you see the panic?  I think
 there's an issue with your rootfs. I've tested zynq running on 4.14
 ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu and
 busybox file system with no issues.  I've tested on Zybo, Minized and
 the Zc702 board.  If it's a rootfs problem and not Xenomai related I
 can help you off list.  Try loading a non Xenomai kernel and see if
 the panic still exists.


 -Greg

 On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
  wrote:
 > Hi all,
 > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
 Digilent Zybo
 > development board). I've read a lot of tutorial and documentation
 before
 > posting here.
 > I run into a "kernel panic" and I cannot solve it.
 > I know to be annoying, but just to be not prone to misunderstanding,
 I'm
 > going to report my personal walk-through below!
 >
 > In short: I've downloaded Linux stable sources from git, Xenomai 3 and
 > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as
 follow
 > ---
 > git clone git://
 > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
 > git clone git://git.xenomai.org/xenomai-3.git
 > wget -O $IPIPE
 > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.
 51-arm-4.patch
 > cd xenomai-3
 > ./scripts/prepare-kernel.sh
 > --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch
 --arch=arm
 > ---
 > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into the
 > arch/arm/configs directory, and then
 > ---
 > export ARCH=arm
 > export CROSS_COMPILE=arm-linux-gnueabihf-
 > make xilinx_zynq_defconfig
 > make menuconfig
 > ---
 > I've
 > 1) disabled frequency scaling
 > 2) disabled CMA
 > 3) disabled kernel hacks
 > and then
 > ---
 > make
 > make UIMAGE_LOADADDR=0x8000 uImage modules
 > make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
 > ---
 > So, I compiled the Xenomai 3 library
 > ---
 > cd xenomai3
 > git checkout tags/v3.0.6 -b xenomai_3.0.6
 > ./scripts/bootstrap
 > mkdir xeno3_build
 > cd xeno3_build
 > ../configure CFLAGS="-march=armv7-a -mfpu=vfp3 -mfloat-abi=hard"
 > LDFLAGS="-march=armv7-a" --build=x86_64-pc-linux-gnu
 > --host=arm-none-linux-gnueabi --with-core=cobalt --enable-smp
 --enable-tls
 > CC=arm-linux-gnueabihf-gcc LD=arm-linux-gnueabihf-ld
 > make DESTDIR=$XENO_ZYNQ_STAGE install
 > -
 >
 > All work as expected.
 > I used linaro latest root fs, adding the xenomai3 library and kernel
 > modules, but, at the system boot, I run into "kernel panic".
 > Dump follows
 > -
 > [16:06:07:495] EXT4-fs (mmcblk0p2): recovery complete␍␊
 > [16:06:07:495] EXT4-fs (mmcblk0p2): mounted filesystem with ordered
 data
 > mode. Opts: (null)␍␊
 > [16:06:07:495] VFS: Mounted root (ext4 filesystem) on device 179:2.␍␊
 > [16:06:07:511] devtmpfs: mounted␍␊
 > [16:06:07:511] Freeing unused kernel memory: 1024K (c090 -
 c0a0)␍␊

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-27 Thread Salvatore Barone
Ok, I'll try.

I keep you updated
Thanks a lot!

2018-04-26 19:02 GMT+02:00 Greg Gallagher :

> You can clone this:
> git://git.xenomai.org/ipipe-arm.git
>
> Then when you patch the kernel with scripts/prepare-kernel.sh leave
> --ipipe= blank or not add that argument.  If you add --verbose to
> prepare-kernel you should see that the script detects the ipipe is
> already present in the tree and then just creates the symlinks.  Or at
> least that's how I think it works :)
>
> -Greg
>
> On Thu, Apr 26, 2018 at 12:58 PM, Salvatore Barone
>  wrote:
> > Thanks, but I have to got it by myself. It's a matter of principle now!
> > Can I patch the 4.14 Xilinx Kernel with the 4.9.51 I-Pipe patch and get
> > Xenomai working on it?
> >
> > 2018-04-26 18:56 GMT+02:00 Greg Gallagher :
> >>
> >> okay, I will try to reproduce tonight.  If you need to be up and
> >> running i can send you a 4.14 image, (4.14 kernel with Ubuntu 16.04
> >> fs) to test out.
> >>
> >> -Greg
> >>
> >> On Thu, Apr 26, 2018 at 12:54 PM, Salvatore Barone
> >>  wrote:
> >> > Just before the last attempt! About two hours ago...
> >> >
> >> > 2018-04-26 18:43 GMT+02:00 Greg Gallagher :
> >> >>
> >> >> git clone git://git.xenomai.org/xenomai-3.git
> >> >> git checkout stable-3.0.x
> >> >>
> >> >> When was the last time you sync'd with the Linux stable tree?
> >> >>
> >> >> On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
> >> >>  wrote:
> >> >> > Which repo sould I use?
> >> >> >
> >> >> >
> >> >> > 2018-04-26 18:35 GMT+02:00 Greg Gallagher :
> >> >> >>
> >> >> >> My email cutoff the last part of your panic, I can see the full
> log
> >> >> >> now.
> >> >> >> Try using the latest git repo, so checkout the stable-3.0.x branch
> >> >> >> for
> >> >> >> Xenomai.  The only difference between my test setup is I'm using
> the
> >> >> >> stable
> >> >> >> branch.  I'll attempt to reproduce tonight if you still see the
> >> >> >> error.
> >> >> >>
> >> >> >> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
> >> >> >>  wrote:
> >> >> >>>
> >> >> >>> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51
> >> >> >>> I-Pipe
> >> >> >>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian
> >> >> >>> root
> >> >> >>> filesystem (2017 something)
> >> >> >>>
> >> >> >>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher  >:
> >> >> 
> >> >> 
> >> >>  Are you patching the Xilinx Linux kernel with the Xenomai patch?
> >> >>  Have
> >> >>  you tried mainline?
> >> >> 
> >> >>  Greg
> >> >>  From: salvator.bar...@gmail.com
> >> >>  Sent: April 26, 2018 12:01 PM
> >> >>  To: g...@embeddedgreg.com
> >> >>  Cc: xenomai@xenomai.org
> >> >>  Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51
> and
> >> >>  Linux
> >> >>  4.9.51 on Xilinx Zynq 7000 MPSOC
> >> >> 
> >> >>  Hi Greg! I've read all your blog post on this argument! With the
> >> >>  xilinz
> >> >>  linux kernel i have no problem!
> >> >> 
> >> >>  Saluti,
> >> >>  Salvatore Barone.
> >> >> 
> >> >>  Il Gio 26 Apr 2018, 16:25 Greg Gallagher  >
> >> >>  ha
> >> >>  scritto:
> >> >> >
> >> >> > If you load a non Xenomai kernel do you see the panic?  I think
> >> >> > there's an issue with your rootfs. I've tested zynq running on
> >> >> > 4.14
> >> >> > ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a
> ubuntu
> >> >> > and
> >> >> > busybox file system with no issues.  I've tested on Zybo,
> Minized
> >> >> > and
> >> >> > the Zc702 board.  If it's a rootfs problem and not Xenomai
> >> >> > related I
> >> >> > can help you off list.  Try loading a non Xenomai kernel and
> see
> >> >> > if
> >> >> > the panic still exists.
> >> >> >
> >> >> >
> >> >> > -Greg
> >> >> >
> >> >> > On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
> >> >> >  wrote:
> >> >> > > Hi all,
> >> >> > > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
> >> >> > > Digilent Zybo
> >> >> > > development board). I've read a lot of tutorial and
> >> >> > > documentation
> >> >> > > before
> >> >> > > posting here.
> >> >> > > I run into a "kernel panic" and I cannot solve it.
> >> >> > > I know to be annoying, but just to be not prone to
> >> >> > > misunderstanding,
> >> >> > > I'm
> >> >> > > going to report my personal walk-through below!
> >> >> > >
> >> >> > > In short: I've downloaded Linux stable sources from git,
> >> >> > > Xenomai 3
> >> >> > > and
> >> >> > > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe
> patch
> >> >> > > as
> >> >> > > follow
> >> >> 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-27 Thread Salvatore Barone
No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51 I-Pipe
patch. I'm using Xenomai 3.0.6 library and Linaro latest debian root
filesystem (2017 something)

2018-04-26 18:11 GMT+02:00 Greg Gallagher :

>
> Are you patching the Xilinx Linux kernel with the Xenomai patch? Have you
> tried mainline?
>
> Greg
> *From:* salvator.bar...@gmail.com
> *Sent:* April 26, 2018 12:01 PM
> *To:* g...@embeddedgreg.com
> *Cc:* xenomai@xenomai.org
> *Subject:* Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
> Linux 4.9.51 on Xilinx Zynq 7000 MPSOC
>
> Hi Greg! I've read all your blog post on this argument! With the xilinz
> linux kernel i have no problem!
>
> Saluti,
> Salvatore Barone.
>
> Il Gio 26 Apr 2018, 16:25 Greg Gallagher  ha
> scritto:
>
>> If you load a non Xenomai kernel do you see the panic?  I think
>> there's an issue with your rootfs. I've tested zynq running on 4.14
>> ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu and
>> busybox file system with no issues.  I've tested on Zybo, Minized and
>> the Zc702 board.  If it's a rootfs problem and not Xenomai related I
>> can help you off list.  Try loading a non Xenomai kernel and see if
>> the panic still exists.
>>
>>
>> -Greg
>>
>> On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
>>  wrote:
>> > Hi all,
>> > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a Digilent
>> Zybo
>> > development board). I've read a lot of tutorial and documentation before
>> > posting here.
>> > I run into a "kernel panic" and I cannot solve it.
>> > I know to be annoying, but just to be not prone to misunderstanding, I'm
>> > going to report my personal walk-through below!
>> >
>> > In short: I've downloaded Linux stable sources from git, Xenomai 3 and
>> > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as follow
>> > ---
>> > git clone git://
>> > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
>> > git clone git://git.xenomai.org/xenomai-3.git
>> > wget -O $IPIPE
>> > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.
>> 51-arm-4.patch
>> > cd xenomai-3
>> > ./scripts/prepare-kernel.sh
>> > --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch
>> --arch=arm
>> > ---
>> > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into the
>> > arch/arm/configs directory, and then
>> > ---
>> > export ARCH=arm
>> > export CROSS_COMPILE=arm-linux-gnueabihf-
>> > make xilinx_zynq_defconfig
>> > make menuconfig
>> > ---
>> > I've
>> > 1) disabled frequency scaling
>> > 2) disabled CMA
>> > 3) disabled kernel hacks
>> > and then
>> > ---
>> > make
>> > make UIMAGE_LOADADDR=0x8000 uImage modules
>> > make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
>> > ---
>> > So, I compiled the Xenomai 3 library
>> > ---
>> > cd xenomai3
>> > git checkout tags/v3.0.6 -b xenomai_3.0.6
>> > ./scripts/bootstrap
>> > mkdir xeno3_build
>> > cd xeno3_build
>> > ../configure CFLAGS="-march=armv7-a -mfpu=vfp3 -mfloat-abi=hard"
>> > LDFLAGS="-march=armv7-a" --build=x86_64-pc-linux-gnu
>> > --host=arm-none-linux-gnueabi --with-core=cobalt --enable-smp
>> --enable-tls
>> > CC=arm-linux-gnueabihf-gcc LD=arm-linux-gnueabihf-ld
>> > make DESTDIR=$XENO_ZYNQ_STAGE install
>> > -
>> >
>> > All work as expected.
>> > I used linaro latest root fs, adding the xenomai3 library and kernel
>> > modules, but, at the system boot, I run into "kernel panic".
>> > Dump follows
>> > -
>> > [16:06:07:495] EXT4-fs (mmcblk0p2): recovery complete␍␊
>> > [16:06:07:495] EXT4-fs (mmcblk0p2): mounted filesystem with ordered data
>> > mode. Opts: (null)␍␊
>> > [16:06:07:495] VFS: Mounted root (ext4 filesystem) on device 179:2.␍␊
>> > [16:06:07:511] devtmpfs: mounted␍␊
>> > [16:06:07:511] Freeing unused kernel memory: 1024K (c090 -
>> c0a0)␍␊
>> > [16:06:07:591] random: fast init done␍␊
>> > [16:06:07:639] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
>> > version information available (required by /sbin/init)␍␊
>> > [16:06:07:655] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
>> > version information available (required by /sbin/init)␍␊
>> > [16:06:07:655] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
>> > version information available (required by /sbin/init)␍␊
>> > [16:06:07:671] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
>> > version information available (required by /sbin/init)␍␊
>> > [16:06:07:687] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
>> > version information available (required by 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-26 Thread Greg Gallagher
Sounds good, and I will test out the 4.9.51 patch tonight and see what
happens.

On Thu, Apr 26, 2018 at 1:05 PM, Salvatore Barone
 wrote:
> Ok, I'll try.
>
> I keep you updated
> Thanks a lot!
>
> 2018-04-26 19:02 GMT+02:00 Greg Gallagher :
>>
>> You can clone this:
>> git://git.xenomai.org/ipipe-arm.git
>>
>> Then when you patch the kernel with scripts/prepare-kernel.sh leave
>> --ipipe= blank or not add that argument.  If you add --verbose to
>> prepare-kernel you should see that the script detects the ipipe is
>> already present in the tree and then just creates the symlinks.  Or at
>> least that's how I think it works :)
>>
>> -Greg
>>
>> On Thu, Apr 26, 2018 at 12:58 PM, Salvatore Barone
>>  wrote:
>> > Thanks, but I have to got it by myself. It's a matter of principle now!
>> > Can I patch the 4.14 Xilinx Kernel with the 4.9.51 I-Pipe patch and get
>> > Xenomai working on it?
>> >
>> > 2018-04-26 18:56 GMT+02:00 Greg Gallagher :
>> >>
>> >> okay, I will try to reproduce tonight.  If you need to be up and
>> >> running i can send you a 4.14 image, (4.14 kernel with Ubuntu 16.04
>> >> fs) to test out.
>> >>
>> >> -Greg
>> >>
>> >> On Thu, Apr 26, 2018 at 12:54 PM, Salvatore Barone
>> >>  wrote:
>> >> > Just before the last attempt! About two hours ago...
>> >> >
>> >> > 2018-04-26 18:43 GMT+02:00 Greg Gallagher :
>> >> >>
>> >> >> git clone git://git.xenomai.org/xenomai-3.git
>> >> >> git checkout stable-3.0.x
>> >> >>
>> >> >> When was the last time you sync'd with the Linux stable tree?
>> >> >>
>> >> >> On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
>> >> >>  wrote:
>> >> >> > Which repo sould I use?
>> >> >> >
>> >> >> >
>> >> >> > 2018-04-26 18:35 GMT+02:00 Greg Gallagher :
>> >> >> >>
>> >> >> >> My email cutoff the last part of your panic, I can see the full
>> >> >> >> log
>> >> >> >> now.
>> >> >> >> Try using the latest git repo, so checkout the stable-3.0.x
>> >> >> >> branch
>> >> >> >> for
>> >> >> >> Xenomai.  The only difference between my test setup is I'm using
>> >> >> >> the
>> >> >> >> stable
>> >> >> >> branch.  I'll attempt to reproduce tonight if you still see the
>> >> >> >> error.
>> >> >> >>
>> >> >> >> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
>> >> >> >>  wrote:
>> >> >> >>>
>> >> >> >>> No, I'm patching the 4.9.51 mainline Linux Kernel with the
>> >> >> >>> 4.9.51
>> >> >> >>> I-Pipe
>> >> >> >>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian
>> >> >> >>> root
>> >> >> >>> filesystem (2017 something)
>> >> >> >>>
>> >> >> >>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher
>> >> >> >>> :
>> >> >> 
>> >> >> 
>> >> >>  Are you patching the Xilinx Linux kernel with the Xenomai
>> >> >>  patch?
>> >> >>  Have
>> >> >>  you tried mainline?
>> >> >> 
>> >> >>  Greg
>> >> >>  From: salvator.bar...@gmail.com
>> >> >>  Sent: April 26, 2018 12:01 PM
>> >> >>  To: g...@embeddedgreg.com
>> >> >>  Cc: xenomai@xenomai.org
>> >> >>  Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51
>> >> >>  and
>> >> >>  Linux
>> >> >>  4.9.51 on Xilinx Zynq 7000 MPSOC
>> >> >> 
>> >> >>  Hi Greg! I've read all your blog post on this argument! With
>> >> >>  the
>> >> >>  xilinz
>> >> >>  linux kernel i have no problem!
>> >> >> 
>> >> >>  Saluti,
>> >> >>  Salvatore Barone.
>> >> >> 
>> >> >>  Il Gio 26 Apr 2018, 16:25 Greg Gallagher
>> >> >>  
>> >> >>  ha
>> >> >>  scritto:
>> >> >> >
>> >> >> > If you load a non Xenomai kernel do you see the panic?  I
>> >> >> > think
>> >> >> > there's an issue with your rootfs. I've tested zynq running on
>> >> >> > 4.14
>> >> >> > ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a
>> >> >> > ubuntu
>> >> >> > and
>> >> >> > busybox file system with no issues.  I've tested on Zybo,
>> >> >> > Minized
>> >> >> > and
>> >> >> > the Zc702 board.  If it's a rootfs problem and not Xenomai
>> >> >> > related I
>> >> >> > can help you off list.  Try loading a non Xenomai kernel and
>> >> >> > see
>> >> >> > if
>> >> >> > the panic still exists.
>> >> >> >
>> >> >> >
>> >> >> > -Greg
>> >> >> >
>> >> >> > On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
>> >> >> >  wrote:
>> >> >> > > Hi all,
>> >> >> > > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on
>> >> >> > > a
>> >> >> > > Digilent Zybo
>> >> >> > > development board). I've read a lot of tutorial and
>> >> >> > > documentation
>> >> >> > > before
>> >> >> > > posting here.
>> >> >> > > I run into a "kernel panic" and I 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-26 Thread Greg Gallagher
You can clone this:
git://git.xenomai.org/ipipe-arm.git

Then when you patch the kernel with scripts/prepare-kernel.sh leave
--ipipe= blank or not add that argument.  If you add --verbose to
prepare-kernel you should see that the script detects the ipipe is
already present in the tree and then just creates the symlinks.  Or at
least that's how I think it works :)

-Greg

On Thu, Apr 26, 2018 at 12:58 PM, Salvatore Barone
 wrote:
> Thanks, but I have to got it by myself. It's a matter of principle now!
> Can I patch the 4.14 Xilinx Kernel with the 4.9.51 I-Pipe patch and get
> Xenomai working on it?
>
> 2018-04-26 18:56 GMT+02:00 Greg Gallagher :
>>
>> okay, I will try to reproduce tonight.  If you need to be up and
>> running i can send you a 4.14 image, (4.14 kernel with Ubuntu 16.04
>> fs) to test out.
>>
>> -Greg
>>
>> On Thu, Apr 26, 2018 at 12:54 PM, Salvatore Barone
>>  wrote:
>> > Just before the last attempt! About two hours ago...
>> >
>> > 2018-04-26 18:43 GMT+02:00 Greg Gallagher :
>> >>
>> >> git clone git://git.xenomai.org/xenomai-3.git
>> >> git checkout stable-3.0.x
>> >>
>> >> When was the last time you sync'd with the Linux stable tree?
>> >>
>> >> On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
>> >>  wrote:
>> >> > Which repo sould I use?
>> >> >
>> >> >
>> >> > 2018-04-26 18:35 GMT+02:00 Greg Gallagher :
>> >> >>
>> >> >> My email cutoff the last part of your panic, I can see the full log
>> >> >> now.
>> >> >> Try using the latest git repo, so checkout the stable-3.0.x branch
>> >> >> for
>> >> >> Xenomai.  The only difference between my test setup is I'm using the
>> >> >> stable
>> >> >> branch.  I'll attempt to reproduce tonight if you still see the
>> >> >> error.
>> >> >>
>> >> >> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
>> >> >>  wrote:
>> >> >>>
>> >> >>> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51
>> >> >>> I-Pipe
>> >> >>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian
>> >> >>> root
>> >> >>> filesystem (2017 something)
>> >> >>>
>> >> >>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher :
>> >> 
>> >> 
>> >>  Are you patching the Xilinx Linux kernel with the Xenomai patch?
>> >>  Have
>> >>  you tried mainline?
>> >> 
>> >>  Greg
>> >>  From: salvator.bar...@gmail.com
>> >>  Sent: April 26, 2018 12:01 PM
>> >>  To: g...@embeddedgreg.com
>> >>  Cc: xenomai@xenomai.org
>> >>  Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
>> >>  Linux
>> >>  4.9.51 on Xilinx Zynq 7000 MPSOC
>> >> 
>> >>  Hi Greg! I've read all your blog post on this argument! With the
>> >>  xilinz
>> >>  linux kernel i have no problem!
>> >> 
>> >>  Saluti,
>> >>  Salvatore Barone.
>> >> 
>> >>  Il Gio 26 Apr 2018, 16:25 Greg Gallagher 
>> >>  ha
>> >>  scritto:
>> >> >
>> >> > If you load a non Xenomai kernel do you see the panic?  I think
>> >> > there's an issue with your rootfs. I've tested zynq running on
>> >> > 4.14
>> >> > ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu
>> >> > and
>> >> > busybox file system with no issues.  I've tested on Zybo, Minized
>> >> > and
>> >> > the Zc702 board.  If it's a rootfs problem and not Xenomai
>> >> > related I
>> >> > can help you off list.  Try loading a non Xenomai kernel and see
>> >> > if
>> >> > the panic still exists.
>> >> >
>> >> >
>> >> > -Greg
>> >> >
>> >> > On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
>> >> >  wrote:
>> >> > > Hi all,
>> >> > > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
>> >> > > Digilent Zybo
>> >> > > development board). I've read a lot of tutorial and
>> >> > > documentation
>> >> > > before
>> >> > > posting here.
>> >> > > I run into a "kernel panic" and I cannot solve it.
>> >> > > I know to be annoying, but just to be not prone to
>> >> > > misunderstanding,
>> >> > > I'm
>> >> > > going to report my personal walk-through below!
>> >> > >
>> >> > > In short: I've downloaded Linux stable sources from git,
>> >> > > Xenomai 3
>> >> > > and
>> >> > > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch
>> >> > > as
>> >> > > follow
>> >> > > ---
>> >> > > git clone git://
>> >> > > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
>> >> > > git clone git://git.xenomai.org/xenomai-3.git
>> >> > > wget -O $IPIPE
>> >> > >
>> >> > >
>> >> > >
>> >> > > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.51-arm-4.patch
>> >> 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-26 Thread Greg Gallagher
okay, I will try to reproduce tonight.  If you need to be up and
running i can send you a 4.14 image, (4.14 kernel with Ubuntu 16.04
fs) to test out.

-Greg

On Thu, Apr 26, 2018 at 12:54 PM, Salvatore Barone
 wrote:
> Just before the last attempt! About two hours ago...
>
> 2018-04-26 18:43 GMT+02:00 Greg Gallagher :
>>
>> git clone git://git.xenomai.org/xenomai-3.git
>> git checkout stable-3.0.x
>>
>> When was the last time you sync'd with the Linux stable tree?
>>
>> On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
>>  wrote:
>> > Which repo sould I use?
>> >
>> >
>> > 2018-04-26 18:35 GMT+02:00 Greg Gallagher :
>> >>
>> >> My email cutoff the last part of your panic, I can see the full log
>> >> now.
>> >> Try using the latest git repo, so checkout the stable-3.0.x branch for
>> >> Xenomai.  The only difference between my test setup is I'm using the
>> >> stable
>> >> branch.  I'll attempt to reproduce tonight if you still see the error.
>> >>
>> >> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
>> >>  wrote:
>> >>>
>> >>> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51
>> >>> I-Pipe
>> >>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian root
>> >>> filesystem (2017 something)
>> >>>
>> >>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher :
>> 
>> 
>>  Are you patching the Xilinx Linux kernel with the Xenomai patch? Have
>>  you tried mainline?
>> 
>>  Greg
>>  From: salvator.bar...@gmail.com
>>  Sent: April 26, 2018 12:01 PM
>>  To: g...@embeddedgreg.com
>>  Cc: xenomai@xenomai.org
>>  Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
>>  Linux
>>  4.9.51 on Xilinx Zynq 7000 MPSOC
>> 
>>  Hi Greg! I've read all your blog post on this argument! With the
>>  xilinz
>>  linux kernel i have no problem!
>> 
>>  Saluti,
>>  Salvatore Barone.
>> 
>>  Il Gio 26 Apr 2018, 16:25 Greg Gallagher  ha
>>  scritto:
>> >
>> > If you load a non Xenomai kernel do you see the panic?  I think
>> > there's an issue with your rootfs. I've tested zynq running on 4.14
>> > ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu
>> > and
>> > busybox file system with no issues.  I've tested on Zybo, Minized
>> > and
>> > the Zc702 board.  If it's a rootfs problem and not Xenomai related I
>> > can help you off list.  Try loading a non Xenomai kernel and see if
>> > the panic still exists.
>> >
>> >
>> > -Greg
>> >
>> > On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
>> >  wrote:
>> > > Hi all,
>> > > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
>> > > Digilent Zybo
>> > > development board). I've read a lot of tutorial and documentation
>> > > before
>> > > posting here.
>> > > I run into a "kernel panic" and I cannot solve it.
>> > > I know to be annoying, but just to be not prone to
>> > > misunderstanding,
>> > > I'm
>> > > going to report my personal walk-through below!
>> > >
>> > > In short: I've downloaded Linux stable sources from git, Xenomai 3
>> > > and
>> > > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as
>> > > follow
>> > > ---
>> > > git clone git://
>> > > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
>> > > git clone git://git.xenomai.org/xenomai-3.git
>> > > wget -O $IPIPE
>> > >
>> > >
>> > > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.51-arm-4.patch
>> > > cd xenomai-3
>> > > ./scripts/prepare-kernel.sh
>> > > --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch
>> > > --arch=arm
>> > > ---
>> > > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into
>> > > the
>> > > arch/arm/configs directory, and then
>> > > ---
>> > > export ARCH=arm
>> > > export CROSS_COMPILE=arm-linux-gnueabihf-
>> > > make xilinx_zynq_defconfig
>> > > make menuconfig
>> > > ---
>> > > I've
>> > > 1) disabled frequency scaling
>> > > 2) disabled CMA
>> > > 3) disabled kernel hacks
>> > > and then
>> > > ---
>> > > make
>> > > make UIMAGE_LOADADDR=0x8000 uImage modules
>> > > make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
>> > > ---
>> > > So, I compiled the Xenomai 3 library
>> > > ---
>> > > cd xenomai3
>> > > git 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-26 Thread Greg Gallagher
git clone git://git.xenomai.org/xenomai-3.git
git checkout stable-3.0.x

When was the last time you sync'd with the Linux stable tree?

On Thu, Apr 26, 2018 at 12:39 PM, Salvatore Barone
 wrote:
> Which repo sould I use?
>
>
> 2018-04-26 18:35 GMT+02:00 Greg Gallagher :
>>
>> My email cutoff the last part of your panic, I can see the full log now.
>> Try using the latest git repo, so checkout the stable-3.0.x branch for
>> Xenomai.  The only difference between my test setup is I'm using the stable
>> branch.  I'll attempt to reproduce tonight if you still see the error.
>>
>> On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone
>>  wrote:
>>>
>>> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51 I-Pipe
>>> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian root
>>> filesystem (2017 something)
>>>
>>> 2018-04-26 18:11 GMT+02:00 Greg Gallagher :


 Are you patching the Xilinx Linux kernel with the Xenomai patch? Have
 you tried mainline?

 Greg
 From: salvator.bar...@gmail.com
 Sent: April 26, 2018 12:01 PM
 To: g...@embeddedgreg.com
 Cc: xenomai@xenomai.org
 Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux
 4.9.51 on Xilinx Zynq 7000 MPSOC

 Hi Greg! I've read all your blog post on this argument! With the xilinz
 linux kernel i have no problem!

 Saluti,
 Salvatore Barone.

 Il Gio 26 Apr 2018, 16:25 Greg Gallagher  ha
 scritto:
>
> If you load a non Xenomai kernel do you see the panic?  I think
> there's an issue with your rootfs. I've tested zynq running on 4.14
> ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu and
> busybox file system with no issues.  I've tested on Zybo, Minized and
> the Zc702 board.  If it's a rootfs problem and not Xenomai related I
> can help you off list.  Try loading a non Xenomai kernel and see if
> the panic still exists.
>
>
> -Greg
>
> On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
>  wrote:
> > Hi all,
> > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
> > Digilent Zybo
> > development board). I've read a lot of tutorial and documentation
> > before
> > posting here.
> > I run into a "kernel panic" and I cannot solve it.
> > I know to be annoying, but just to be not prone to misunderstanding,
> > I'm
> > going to report my personal walk-through below!
> >
> > In short: I've downloaded Linux stable sources from git, Xenomai 3
> > and
> > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as
> > follow
> > ---
> > git clone git://
> > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
> > git clone git://git.xenomai.org/xenomai-3.git
> > wget -O $IPIPE
> >
> > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.51-arm-4.patch
> > cd xenomai-3
> > ./scripts/prepare-kernel.sh
> > --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch
> > --arch=arm
> > ---
> > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into
> > the
> > arch/arm/configs directory, and then
> > ---
> > export ARCH=arm
> > export CROSS_COMPILE=arm-linux-gnueabihf-
> > make xilinx_zynq_defconfig
> > make menuconfig
> > ---
> > I've
> > 1) disabled frequency scaling
> > 2) disabled CMA
> > 3) disabled kernel hacks
> > and then
> > ---
> > make
> > make UIMAGE_LOADADDR=0x8000 uImage modules
> > make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
> > ---
> > So, I compiled the Xenomai 3 library
> > ---
> > cd xenomai3
> > git checkout tags/v3.0.6 -b xenomai_3.0.6
> > ./scripts/bootstrap
> > mkdir xeno3_build
> > cd xeno3_build
> > ../configure CFLAGS="-march=armv7-a -mfpu=vfp3 -mfloat-abi=hard"
> > LDFLAGS="-march=armv7-a" --build=x86_64-pc-linux-gnu
> > --host=arm-none-linux-gnueabi --with-core=cobalt --enable-smp
> > --enable-tls
> > CC=arm-linux-gnueabihf-gcc LD=arm-linux-gnueabihf-ld
> > make DESTDIR=$XENO_ZYNQ_STAGE install
> > -
> >
> > All work as expected.
> > I used linaro latest root fs, adding the xenomai3 library and kernel
> > modules, but, at the system boot, I run into "kernel panic".
> > Dump follows
> > -
> > 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-26 Thread Greg Gallagher
My email cutoff the last part of your panic, I can see the full log now.
Try using the latest git repo, so checkout the stable-3.0.x branch for
Xenomai.  The only difference between my test setup is I'm using the stable
branch.  I'll attempt to reproduce tonight if you still see the error.

On Thu, Apr 26, 2018 at 12:29 PM, Salvatore Barone <
salvator.bar...@gmail.com> wrote:

> No, I'm patching the 4.9.51 mainline Linux Kernel with the 4.9.51 I-Pipe
> patch. I'm using Xenomai 3.0.6 library and Linaro latest debian root
> filesystem (2017 something)
>
> 2018-04-26 18:11 GMT+02:00 Greg Gallagher :
>
>>
>> Are you patching the Xilinx Linux kernel with the Xenomai patch? Have you
>> tried mainline?
>>
>> Greg
>> *From:* salvator.bar...@gmail.com
>> *Sent:* April 26, 2018 12:01 PM
>> *To:* g...@embeddedgreg.com
>> *Cc:* xenomai@xenomai.org
>> *Subject:* Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
>> Linux 4.9.51 on Xilinx Zynq 7000 MPSOC
>>
>> Hi Greg! I've read all your blog post on this argument! With the xilinz
>> linux kernel i have no problem!
>>
>> Saluti,
>> Salvatore Barone.
>>
>> Il Gio 26 Apr 2018, 16:25 Greg Gallagher  ha
>> scritto:
>>
>>> If you load a non Xenomai kernel do you see the panic?  I think
>>> there's an issue with your rootfs. I've tested zynq running on 4.14
>>> ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu and
>>> busybox file system with no issues.  I've tested on Zybo, Minized and
>>> the Zc702 board.  If it's a rootfs problem and not Xenomai related I
>>> can help you off list.  Try loading a non Xenomai kernel and see if
>>> the panic still exists.
>>>
>>>
>>> -Greg
>>>
>>> On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
>>>  wrote:
>>> > Hi all,
>>> > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a Digilent
>>> Zybo
>>> > development board). I've read a lot of tutorial and documentation
>>> before
>>> > posting here.
>>> > I run into a "kernel panic" and I cannot solve it.
>>> > I know to be annoying, but just to be not prone to misunderstanding,
>>> I'm
>>> > going to report my personal walk-through below!
>>> >
>>> > In short: I've downloaded Linux stable sources from git, Xenomai 3 and
>>> > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as
>>> follow
>>> > ---
>>> > git clone git://
>>> > git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
>>> > git clone git://git.xenomai.org/xenomai-3.git
>>> > wget -O $IPIPE
>>> > https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.
>>> 51-arm-4.patch
>>> > cd xenomai-3
>>> > ./scripts/prepare-kernel.sh
>>> > --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch
>>> --arch=arm
>>> > ---
>>> > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into the
>>> > arch/arm/configs directory, and then
>>> > ---
>>> > export ARCH=arm
>>> > export CROSS_COMPILE=arm-linux-gnueabihf-
>>> > make xilinx_zynq_defconfig
>>> > make menuconfig
>>> > ---
>>> > I've
>>> > 1) disabled frequency scaling
>>> > 2) disabled CMA
>>> > 3) disabled kernel hacks
>>> > and then
>>> > ---
>>> > make
>>> > make UIMAGE_LOADADDR=0x8000 uImage modules
>>> > make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
>>> > ---
>>> > So, I compiled the Xenomai 3 library
>>> > ---
>>> > cd xenomai3
>>> > git checkout tags/v3.0.6 -b xenomai_3.0.6
>>> > ./scripts/bootstrap
>>> > mkdir xeno3_build
>>> > cd xeno3_build
>>> > ../configure CFLAGS="-march=armv7-a -mfpu=vfp3 -mfloat-abi=hard"
>>> > LDFLAGS="-march=armv7-a" --build=x86_64-pc-linux-gnu
>>> > --host=arm-none-linux-gnueabi --with-core=cobalt --enable-smp
>>> --enable-tls
>>> > CC=arm-linux-gnueabihf-gcc LD=arm-linux-gnueabihf-ld
>>> > make DESTDIR=$XENO_ZYNQ_STAGE install
>>> > -
>>> >
>>> > All work as expected.
>>> > I used linaro latest root fs, adding the xenomai3 library and kernel
>>> > modules, but, at the system boot, I run into "kernel panic".
>>> > Dump follows
>>> > -
>>> > [16:06:07:495] EXT4-fs (mmcblk0p2): recovery complete␍␊
>>> > [16:06:07:495] EXT4-fs (mmcblk0p2): mounted filesystem with ordered
>>> data
>>> > mode. Opts: (null)␍␊
>>> > [16:06:07:495] VFS: Mounted root (ext4 filesystem) on device 179:2.␍␊
>>> > [16:06:07:511] devtmpfs: mounted␍␊
>>> > [16:06:07:511] Freeing unused kernel memory: 1024K (c090 -
>>> c0a0)␍␊
>>> > [16:06:07:591] random: fast init done␍␊
>>> > [16:06:07:639] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2:
>>> no
>>> > version information available (required by /sbin/init)␍␊
>>> > [16:06:07:655] 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-26 Thread Greg Gallagher

   Are you patching the Xilinx Linux kernel with the Xenomai patch? Have
   you tried mainline?
   Greg

   From: salvator.bar...@gmail.com
   Sent: April 26, 2018 12:01 PM
   To: g...@embeddedgreg.com
   Cc: xenomai@xenomai.org
   Subject: Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and
   Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

   Hi Greg! I've read all your blog post on this argument! With the xilinz
   linux kernel i have no problem!
   Saluti,
   Salvatore Barone.
   Il Gio 26 Apr 2018, 16:25 Greg Gallagher <[1]g...@embeddedgreg.com> ha
   scritto:

 If you load a non Xenomai kernel do you see the panic?  I think
 there's an issue with your rootfs. I've tested zynq running on 4.14
 ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu
 and
 busybox file system with no issues.  I've tested on Zybo, Minized
 and
 the Zc702 board.  If it's a rootfs problem and not Xenomai related I
 can help you off list.  Try loading a non Xenomai kernel and see if
 the panic still exists.
 -Greg
 On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
 <[2]salvator.bar...@gmail.com> wrote:
 > Hi all,
 > I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a
 Digilent Zybo
 > development board). I've read a lot of tutorial and documentation
 before
 > posting here.
 > I run into a "kernel panic" and I cannot solve it.
 > I know to be annoying, but just to be not prone to
 misunderstanding, I'm
 > going to report my personal walk-through below!
 >
 > In short: I've downloaded Linux stable sources from git, Xenomai 3
 and
 > I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as
 follow
 > ---
 > git clone git://
 > [3]git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
 > git clone git://[4]git.xenomai.org/xenomai-3.git
 > wget -O $IPIPE
 >
 [5]https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.51-ar
 m-4.patch
 > cd xenomai-3
 > ./scripts/[6]prepare-kernel.sh
 > --linux=linux-stable --ipipe=../[7]ipipe-core-4.9.51-arm-4.patch
 --arch=arm
 > ---
 > Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into
 the
 > arch/arm/configs directory, and then
 > ---
 > export ARCH=arm
 > export CROSS_COMPILE=arm-linux-gnueabihf-
 > make xilinx_zynq_defconfig
 > make menuconfig
 > ---
 > I've
 > 1) disabled frequency scaling
 > 2) disabled CMA
 > 3) disabled kernel hacks
 > and then
 > ---
 > make
 > make UIMAGE_LOADADDR=0x8000 uImage modules
 > make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
 > ---
 > So, I compiled the Xenomai 3 library
 > ---
 > cd xenomai3
 > git checkout tags/v3.0.6 -b xenomai_3.0.6
 > ./scripts/bootstrap
 > mkdir xeno3_build
 > cd xeno3_build
 > ../configure CFLAGS="-march=armv7-a -mfpu=vfp3 -mfloat-abi=hard"
 > LDFLAGS="-march=armv7-a" --build=x86_64-pc-linux-gnu
 > --host=arm-none-linux-gnueabi --with-core=cobalt --enable-smp
 --enable-tls
 > CC=arm-linux-gnueabihf-gcc LD=arm-linux-gnueabihf-ld
 > make DESTDIR=$XENO_ZYNQ_STAGE install
 > -
 >
 > All work as expected.
 > I used linaro latest root fs, adding the xenomai3 library and
 kernel
 > modules, but, at the system boot, I run into "kernel panic".
 > Dump follows
 > -
 > [16:06:07:495] EXT4-fs (mmcblk0p2): recovery completeaa
 > [16:06:07:495] EXT4-fs (mmcblk0p2): mounted filesystem with
 ordered data
 > mode. Opts: (null)aa
 > [16:06:07:495] VFS: Mounted root (ext4 filesystem) on device 179:
 [8]2.aa
 > [16:06:07:511] devtmpfs: mountedaa
 > [16:06:07:511] Freeing unused kernel memory: 1024K (c090 -
 c0a0)aa
 > [16:06:07:591] random: fast init doneaa
 > [16:06:07:639] /sbin/init: /lib/arm-linux-gnueabihf/
 [9]libseccomp.so.2: no
 > version information available (required by /sbin/init)aa
 > [16:06:07:655] /sbin/init: /lib/arm-linux-gnueabihf/
 [10]libseccomp.so.2: no
 > version information available (required by /sbin/init)aa
 > [16:06:07:655] /sbin/init: /lib/arm-linux-gnueabihf/
 [11]libseccomp.so.2: no
 > version information available (required by /sbin/init)aa
 > [16:06:07:671] /sbin/init: /lib/arm-linux-gnueabihf/
 [12]libseccomp.so.2: no
 > version information available (required by /sbin/init)aa
 > [16:06:07:687] /sbin/init: /lib/arm-linux-gnueabihf/
 [13]libseccomp.so.2: 

Re: [Xenomai] Issue with Xenomai 3.0.6, I-Pipe 4.9.51 and Linux 4.9.51 on Xilinx Zynq 7000 MPSOC

2018-04-26 Thread Greg Gallagher
If you load a non Xenomai kernel do you see the panic?  I think
there's an issue with your rootfs. I've tested zynq running on 4.14
ipipe and 4.9 ipipe with Xenomai 3.0.x stable using both a ubuntu and
busybox file system with no issues.  I've tested on Zybo, Minized and
the Zc702 board.  If it's a rootfs problem and not Xenomai related I
can help you off list.  Try loading a non Xenomai kernel and see if
the panic still exists.


-Greg

On Thu, Apr 26, 2018 at 10:10 AM, Salvatore Barone
 wrote:
> Hi all,
> I'm trying to run Xenomai 3 on a Xilinx Zynq 7000 MPSOC (on a Digilent Zybo
> development board). I've read a lot of tutorial and documentation before
> posting here.
> I run into a "kernel panic" and I cannot solve it.
> I know to be annoying, but just to be not prone to misunderstanding, I'm
> going to report my personal walk-through below!
>
> In short: I've downloaded Linux stable sources from git, Xenomai 3 and
> I-Pipe. I checkout the 4.9.51 branch, applied the I-Pipe patch as follow
> ---
> git clone git://
> git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
> git clone git://git.xenomai.org/xenomai-3.git
> wget -O $IPIPE
> https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.51-arm-4.patch
> cd xenomai-3
> ./scripts/prepare-kernel.sh
> --linux=linux-stable --ipipe=../ipipe-core-4.9.51-arm-4.patch --arch=arm
> ---
> Then, I copied the "xilinx_zynq_defconfig" file, from Xilinx, into the
> arch/arm/configs directory, and then
> ---
> export ARCH=arm
> export CROSS_COMPILE=arm-linux-gnueabihf-
> make xilinx_zynq_defconfig
> make menuconfig
> ---
> I've
> 1) disabled frequency scaling
> 2) disabled CMA
> 3) disabled kernel hacks
> and then
> ---
> make
> make UIMAGE_LOADADDR=0x8000 uImage modules
> make modules_install INSTALL_MOD_PATH=$ZYNQ_MODULES
> ---
> So, I compiled the Xenomai 3 library
> ---
> cd xenomai3
> git checkout tags/v3.0.6 -b xenomai_3.0.6
> ./scripts/bootstrap
> mkdir xeno3_build
> cd xeno3_build
> ../configure CFLAGS="-march=armv7-a -mfpu=vfp3 -mfloat-abi=hard"
> LDFLAGS="-march=armv7-a" --build=x86_64-pc-linux-gnu
> --host=arm-none-linux-gnueabi --with-core=cobalt --enable-smp --enable-tls
> CC=arm-linux-gnueabihf-gcc LD=arm-linux-gnueabihf-ld
> make DESTDIR=$XENO_ZYNQ_STAGE install
> -
>
> All work as expected.
> I used linaro latest root fs, adding the xenomai3 library and kernel
> modules, but, at the system boot, I run into "kernel panic".
> Dump follows
> -
> [16:06:07:495] EXT4-fs (mmcblk0p2): recovery complete␍␊
> [16:06:07:495] EXT4-fs (mmcblk0p2): mounted filesystem with ordered data
> mode. Opts: (null)␍␊
> [16:06:07:495] VFS: Mounted root (ext4 filesystem) on device 179:2.␍␊
> [16:06:07:511] devtmpfs: mounted␍␊
> [16:06:07:511] Freeing unused kernel memory: 1024K (c090 - c0a0)␍␊
> [16:06:07:591] random: fast init done␍␊
> [16:06:07:639] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:655] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:655] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:671] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:687] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:687] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:703] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:703] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:719] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:735] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by /sbin/init)␍␊
> [16:06:07:735] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by
> /lib/arm-linux-gnueabihf/libselinux.so.1)␍␊
> [16:06:07:751] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
> version information available (required by
> /lib/arm-linux-gnueabihf/libselinux.so.1)␍␊
> [16:06:07:767] /sbin/init: /lib/arm-linux-gnueabihf/libseccomp.so.2: no
>