I am certainly willing to put the time in. However most of my experience is in low level driver development, so there will be some learning. The course work available by Bootlin is pretty cool. I think I should be able to get a handle on things from here.
Not sure if this is the best topic to post this under. It might be cool to get support going for the STM32MP1. I would certainly be willing to put some work into this. I have a lot of experience with Armbian and the A20. Whats a good place to start?