https://chiptron.eu/uclinux-and-stm32f429/