In the past,I used petalinux to compile the project, and generally need bsp to build the project. The bsp package generally includes the configuration files of uboot, kernel, rootfs, and devicetree.
Now,I am a newbie to pynq, and I cannot find the pl(base overlay pl:HDMI etc.) device tree in the bsp folder of pynq-z2. After the system is started, how the system configures pl(base overlay pl:HDMI etc.) without pl devicetree？
I think devicetree will tell the linux which drivers pl would use.