We are using Jaincto 7 for our usecase.
It is mentioned that the PDK comes with pre-built libraries for running the demos/examples in the PDK - Jacinto User Guide. But I am not able to find those libraries. Where the prebuilt libraries are available in the SDK? Can you give a path/directory where library is located?