Unfortunately, you’re right, the repository on GitHub is for the 157 and not for the 153. However, I read on the ST forum that some users managed to use the OpenSTLinux image by adapting the Device Tree, so I need to give it a try. The board arrived today, and right now I can’t even connect via USB to the debug pins.