Using the iMXPlatformPkg GPIO lib to configure and read a GPIO -- via ImxPadConfig() and ImxGpioRead() -- returns the incorrect results. Using direct MMIO we get the correct results.
Sorry, the last couple of weeks have been very busy. I'm using the iMX8 4G EVK BSP in the WinIoT project on a board that's based on PE-100.
Could you please give us more information about your setup; which development kit are you working with and which BSP from NXP?