UPGRADE YOUR BROWSER

We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 63033

PetaLinux 2014.4 - [ERROR] make: *** linux-kernel: No such file or directory

Description

When using the petalinux-build tool, the build process ends with messages similar to the following:

INFO: Checking component...
INFO: Checking component...
INFO: Generating make files and build linux
INFO: Generating make files for the subcomponents of linux
INFO: Building linux
[ERROR] make: *** linux-kernel: No such file or directory.  Stop.
ERROR: Failed to build linux

Solution

This issue is primarily seen in Ubuntu and Ubuntu-like distributions.  

Ubuntu uses the package dash as its default shell.

Dash does not properly process the shell commands issued by PetaLinux. 

This issue can be worked around by switching the default shell in Ubuntu from dash to bash.

Canonical has instruction on how to switch the shell from Dash to Bash on the Ubuntu wiki here: https://wiki.ubuntu.com/DashAsBinSh

Generally you can issue the following command at a terminal:

sudo dpkg-reconfigure dash

AR63033.JPG






Select <No> in the interface and press <Enter>. 

 

For the change to take effect, be sure to open a new terminal window.

AR# 63033
Date Created 12/04/2014
Last Updated 12/05/2014
Status Active
Type General Article
Tools
  • PetaLinux
  • PetaLinux - 2014.4