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# 55977

PetaLinux - How do I replace the Linux kernel with a different one?


I would like to replace the Linux kernel with a different one.

Is this possible?


Yes, this is possible.

To replace the Linux kernel with a different one, follow these steps:

  1. Change directories to the Linux source code directory within the PetaLinux install area: ${PETALINUX}/software/linux-2.6.x/
  2. Use git to add a remote to point the alternative kernel source: git remote add [-t <branch>] [-m <master>] [-f] [--mirror] <name> <url>
  3. Use git to check out the appropriate tag to create a local branch tracking the kernel tag selected. Now the kernel source will be the new source selected.
  4. If a platform has already been selected, reconfigure the kernel by running make menuconfig. Be sure to select "save" when exiting menuconfig.

These instructions are informational only. Replacing the Linux kernel is not supported by Xilinx Technical Support.

AR# 55977
Date Created 05/13/2013
Last Updated 01/30/2014
Status Active
Type General Article
  • SoC
  • XA Zynq-7000
  • Zynq-7000
  • More
  • Zynq-7000Q
  • FPGA Device Families
  • Artix-7
  • Kintex-7
  • Spartan-6
  • Virtex-4
  • Virtex-5
  • Virtex-6
  • Virtex-7
  • Less
  • PetaLinux
  • PetaLinux - 2012.12
  • PetaLinux - 2013.04