Is there a quick-start guide anywhere on DTS syntax that describes how to hard-code user PL peripherals into the DTS file? Specifically, I'm trying to get an interrupt from the PL to the PS in Linux, and there seems to be barely any information out there about doing this, but what little I've found makes reference to modifying the DTS file. I've also seen references to a function "request_irq()" with regards to the Zynq chip running Linux, but strangely, this function does not seem to be part of the ARM libraries in SDK. Has anyone succeeded in implementing something like this?