PL is not configured by default on my platform. A given bitstream is pushed to the PL upon user request through /dev/xdevcfg. The AXI peripherals are mapped through /dev/mem on user space memory. However if the user attemps to perform a AXI access while the PL is not configured the system will freeze. What would be the proper way to assert that the PL is configured or that a given address is accessible through the AXI bus? Thanks.
