Hej,
the ELK solutions looks pretty awesome. We are currently developing on STM32F7 (FreeRTOS) and thought about going to STM32MP1 if ELK was running properly on it. Because the infrastructure it brings is more like 2020! 
Question 1: Does anyone has experience with running a ELK distribution on STM32MP1?
Question 2: Is there a distribution out there for ELK STM32MP1 like it is with RaspberryPI or on how to generate such distribution?
Question 3: Is there more support planed for STM32MP1? Since the Cortex-M4 co-processor coming with the STM32MP1 is pretty interesting at least to us.
Thanks for any answer
Chris