I have a problem when trying compile micropython firmware (Daily Build 10/12/2020). More details here: https://forum.micropython.org/viewtopic.php?f=3&t=9417
Solution is:
Edit content of file stm32f4xx_hal_conf.h like here dhylands/G30HDR@4e0f8e8
Does somebody confirm my solution?