Hi,I'm looking for a cheap board for debugging the Linux kernel, for a POC.I thought of the stm32f429-disco. It is limited in resources, has no MMU/virtual-memory, but it's not a necessity for now.I'm experienced with bare-metal stm32 programming, de...