Mi4c Device Tree

[xtcr1st1]

Hello,

is there somewhere an "official" device tree that I can use for this device?
Or any idea on how to make one using the kernel?

I know there are several users building custom roms for Mi4c, but I wanted to go a different path.

Thanks!