01-07-2014 11:30 PM
I am trying to install petalinux on Zynq zc702. I have done it successfully using pre-built images. But now I want to configure the kernel.
I have installed and set up petalinux working environment properly.
I cross checked this by issuing 'echo $PETALINUX' command and this command showed me the correct path of petalinux installed directory.
But when I am trying to configure subsytemlevel components, the gui application (the light blue screen) opens properly and I am able to modify the configuration but when I exit from this gui application, the new configurations are not saved and I get the following error messages;
/bin/sh: 1: pushd: not found
/bin/sh: 1: popd: not found
make: *** [oldconfig] Error 127
Petalinux version that I am trying to configure is 2013.10
My development system is Ubuntu 12.04. and the kernel version is 188.8.131.52-generic.
01-07-2014 11:36 PM
01-08-2014 09:09 AM - edited 01-08-2014 09:38 AM
What is /bin/sh on your system (I think Ubuntu uses dash)? It might have to be tcsh or bash to work with PetaLinux (the documentation should list supported shells).
01-09-2014 07:26 AM
I am in a similar spot, platform-wise. I got past this error with this:
Still, using Petalinux 13.10 with Ubuntu seems like bad news.
01-09-2014 01:16 PM
You might want to look at this Forum post: http://forums.xilinx.com/t5/Embedded-Linux/Petalinux-user-apps-won-t-build/m-p/353181/highlight/true#M6799
# sudo dpkg-reconfigure dash
After this you should see
$ ls -l /bin/sh
point to /bin/bash (and not to /bin/dash)