Graham Sanderson 743dbabdec Pico flash size bytes (#159) ... * Move PICO_FLASH_SIZE_BYTES out of platform_defs.h since it precedes board config; also default to -1 for unknown * make default for PICO_FLASH_SIZE_BYTES undefined - i.e. no value		2021-03-04 21:22:48 -06:00
..
hardware	Pico flash size bytes (#159)	2021-03-04 21:22:48 -06:00