...
- petalinux-create -t project --template zynqMP -n linux_images
- cd linux_images
- petalinux-config --get-hw-description=<path to HDF>
- petalinux-config -c kernel
- For Petalinux < 2019.1:
- Device Drivers -> Userspace I/O drivers
- <*> Userspace I/O platform driver with generic IRQ handling
- <*> Userspace platform driver with generic irq and dynamic memory
- For Petalinux 2019.1:
- Device Drivers -> Userspace I/O drivers
- <*> Userspace I/O platform driver with generic IRQ handling
- <*> Userspace platform driver with generic irq and dynamic memory
- <*> Xilinx AI Engine driver
- Open the system-user.dtsi in linux-images\project-spec\meta-user\recipes-bsp\device-tree\files and make the mods below:
...
Place the BOOT.BIN and the image.ub onto the SD card and boot the kernel.
Test the Interrupt
To test, make sure that the UIO is probed:
...