skills.rest
konosubakonoakua
konosubakonoakuaCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

pynq

Create and customize PYNQ-based FPGA images and overlays for custom boards.

2|Updated May 6, 2026
Search Tags:#overlay#bsp#image-build#sd-card#pynq#board-customization#pkgverify
One-click install
npx skills add https://github.com/konosubakonoakua/xilinx-skills --skill pynq
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: pynq
Source: https://github.com/konosubakonoakua/xilinx-skills/tree/main/pynq
Command: npx skills add https://github.com/konosubakonoakua/xilinx-skills --skill pynq

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires tar, rsync, sudo, find, sed, awk, tee, qemu-aarch64-static, and includes scripts (resource) and references (resource) components.

What problem does it solve?

The PYNQ development workflow provides a comprehensive guide for creating and customizing FPGA projects for custom boards, generating PYNQ images, BSPs, and overlays, and managing overlays, TCL automation, and Python APIs from the Jupyter environment.

Core Features & Use Cases

  • Board-centric BSP and overlay workflows (meta-user, device-tree, kernel patches) to tailor software stacks for a specific board.
  • SD-card image generation and packaging, overlay loading workflows (base overlay and xsa overlay), and tooling for building and testing images.
  • Access to PYNQ Python APIs (MMIO, DMA, GPIO, Interrupt) and Jupyter notebook workflows to develop and debug applications on the target hardware.

Quick Start

Create a custom PYNQ image for your board by writing a board.spec, building the base overlay, and flashing the resulting SD image to the board.

Frequently Asked Questions about pynq

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

FAQPage Schema
How do I create a custom PYNQ image for a custom FPGA board?▼

To create a custom PYNQ image, write a board.spec file, build the base overlay, generate the bitstream, customize the PetaLinux BSP, and flash the resulting SD-card image to the board.

What is the process for PetaLinux BSP customization in PYNQ workflows?▼

PetaLinux BSP customization in PYNQ involves configuring meta-user settings, device-tree overlays, and kernel patches to tailor the software stack for a specific custom board.

Can I use HLS and RTL overlays with the PYNQ Python API in Jupyter?▼

Yes, you can use PYNQ Python APIs including MMIO, DMA, GPIO, and Interrupt within Jupyter notebooks to develop, load, and debug applications interacting with HLS and RTL overlays.

How do I generate and package an SD-card image for PYNQ-enabled boards?▼

SD-card image generation and packaging in PYNQ uses tooling for building and testing images, applying overlay loading workflows for base and xsa overlays before flashing.

Do I need qemu-aarch64-static to build a PYNQ SD-card image?▼

Yes, qemu-aarch64-static is required along with tar, rsync, sudo, find, sed, awk, and tee to successfully build, verify, and package the PYNQ SD-card image.

What is the best way to verify packages and flash tools for a custom PYNQ board?▼

The best way to verify packages and flash tools for a custom PYNQ board is using the integrated pkgverify tooling after writing the board.spec file and generating the base overlay.

Related Skills

Explore More Software Engineering Skills→
konosubakonoakuakonosubakonoakua
2

petalinux

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

Community
Intermediate
jluo41jluo41

notebook-cell-python

Convert Python scripts into Jupyter notebooks and Markdown documentation.

Community
Advanced
pjy4617pjy4617

vivado-bitstream

Generate Vivado bitstreams from post-route checkpoints and program FPGAs via TCL scripts.

Community
Intermediate
mikegogulskimikegogulski

embedded-systems

Develops firmware for STM32 and ESP32 microcontrollers using RTOS and bare-metal programming.

Community
Advanced