Tank you for your response. (The comparison with the RPI should only show that the serial device is working.)
I already replaced the device tree in PetaLinux. For this I used the device tree from the example downloaded from the product website. But I will try it with the device trees from your link, because they look a little bit different.
maybe drivers are missing.
Can you tell me which drivers I need to add to the kernel? I have no idea which one I need. Is there a description or tutorial that you can recommend?
Kind regards,
Simon