STM32mp1 dk1

Have you looked through the Getting Started Guide?