petalinux

Configure and build PetaLinux projects for Xilinx Zynq/MPSoC/Versal platforms.

2|Updated May 6, 2026
One-click install
npx skills add https://github.com/konosubakonoakua/xilinx-skills --skill petalinux
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: petalinux
Source: https://github.com/konosubakonoakua/xilinx-skills/tree/main/petalinux
Command: npx skills add https://github.com/konosubakonoakua/xilinx-skills --skill petalinux

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

PetaLinux project setup and customization for Xilinx platforms can be complex, with multiple interdependent steps across hardware description, kernel configuration, rootfs selection, device-tree customization, and boot image packaging. This skill guides practitioners through a repeatable, end-to-end workflow from hardware description to bootable image creation.

Core Features & Use Cases

  • Create a PetaLinux project from a Vivado XSA or official BSP.
  • Configure kernel, rootfs, U-Boot, and device-tree overlays (system-user.dtsi).
  • Build and package BOOT.BIN and Image to generate bootable images for SD/eMMC or QEMU.
  • Provide end-to-end guidance and troubleshooting for version alignment and common build issues.

Quick Start

Create a PetaLinux project from an XSA or BSP, configure the kernel/rootfs/U-Boot, customize system-user.dtsi, build images, and package a BOOT.BIN for deployment.

Frequently Asked Questions about petalinux

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I create a PetaLinux project from a Vivado XSA hardware description?

To create a PetaLinux project from a Vivado XSA, you use the petalinux-create workflow to initialize the project structure, followed by petalinux-config to apply the hardware description and prepare the build environment.

How do I customize the device-tree for a Zynq MPSoC PetaLinux build?

Customize the device-tree for a Zynq MPSoC PetaLinux build by modifying the system-user.dtsi file, allowing you to define hardware-specific overlays before running petalinux-build to compile the updated configuration.

Can I package a BOOT.BIN for QEMU and SD card deployment using PetaLinux?

Yes, you can package a BOOT.BIN for QEMU and SD card deployment using the petalinux-package workflow, which generates the necessary boot images to target either virtualized or physical hardware environments.

What is the best way to configure the kernel and rootfs for an embedded Linux Xilinx project?

The best way to configure the kernel and rootfs for an embedded Linux Xilinx project is using the petalinux-config tool, which provides a menu-driven interface to select packages and kernel features before compilation.

Why does my PetaLinux build fail due to version inconsistency?

A PetaLinux build often fails due to version inconsistency between the Vivado XSA, the installed PetaLinux tools, and the official BSP, requiring strict environment setup and version alignment to resolve common build-time pitfalls.

Does PetaLinux support official BSPs for Versal platforms?

Yes, PetaLinux supports official BSPs for Versal platforms, allowing you to create projects directly from these BSPs to streamline the setup of the embedded Linux environment for Xilinx adaptive compute accelerators.