I have just taken delivery of the awesome Arch Max. The part number appears to be: STM32F407VET6 This should have 512k of FLASH, according to the Seeed Studio wiki, and the ST device data sheet - however, when I compiled Blinky to test the board, it reports 1024k. Is this just a typo somewhere in the descriptor files for the Arch Max?
How does the mBed dev. environment “know” about the parameters of the platforms?
On another section of the Seeed web site it states that the chip is the “G” version, and it states that the memory is 1024k:
Can someone confirm how much memory there really is on this board?