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


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


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


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 12/05/2014
Status Active
Type General Article
  • PetaLinux
  • PetaLinux - 2014.4
Page Bookmarked