Is STM32MP1x supported by STM32CubeIDE? Yes STM32CubeIDE supports stm32mp1 from the release V1.1.0.
It supports build and debug of the CM4 coprocessor firmware (engineering mode and production mode).
ST has a roadmap to enhance the feature with support of A7 Linux (kernel and userspace) along 2020 year.