I have some software that's going to run on the PS of two different Zynq devices (035 and 045).
Is there any way for the PS to know what device it is running on, before the PL is initialized? Or to get some hint on the size of the PL? That would work too.
I have been going over the TRM for a while but I haven't found anything that I can use; I strongly suspect I have missed something...
Just seconds after I posted this question I found the info I need in the TRM (UG585, v1.12.2) at page 1625, register slcr.PSS_IDCODE (RTFM!).
The only remaining doubt is the 035 does not have a code assigned for field DEVICE. I hope it will not use the same code as any other device...
Anyway, this is something I can check myself on a board.