Hi, I've been working on NuttX support for nucleo-g431kb. This work is based on nucleo-g431rb, which is pretty similar, both boards have the same amount of flash and ram memory (128K flash and 32K RAM). Looking at defconfig files I noted that the variable CONFIG_RAM_SIZE is setted to 22528 (22K of ram). Is this right? Shouldn't it be 32768?
Thanks Daniel Pereira de Carvalho
