As my custom Zynq-7000 board has been working fairly well (see my previous blog post), I have been learning about PetaLinux. I am currently using PetaLinux 2024.2. I have posted the board schematic, EasyEDA Pro project, and an overview document of getting PetaLinux setup and running (with HDMI output woroking) on my GitHub. I will also periodically post PetaLinux configurations. See FPGA/PetaLinux 2024.2 HDMI at main · rehsd/FPGA.
More to come...