There are 2 repositories under stm32mp1-debian topic.
This repo for build Ubuntu 22.04, 20.04, 18.04, and Debian 10, 11 on stm32mp1 CPU
OSD32MP1 Debian SDK - Develop Debian images for OSD32MP1
OSD32MP1 Debian SDK - Develop Debian images for OSD32MP1
OSD32MP1 Debian SDK - Develop Debian images for OSD32MP1
OSD32MP1 Debian SDK - Develop Debian images for OSD32MP1