So it is derived from the nucleo-144, which is interesting, since it
has an 8MHz xtal as well.
So far I thought it was derived from stm32f746g-disco, because some
files say stm32f746g-disco in their comments, but no idea in which
state the nucleo-144 tree was in 2016.
This STM32 board configurations are pretty incestuous. Many are low
effort ports and mixtures from other boards. You might find
Other waveshare boards also use *-ws directories.
But not all. The older LPC1788 Open1788 board directory is just called
open1788
