if BOARD_FRDM_K64F
config BOARD
default frdm_k64f
config FLASH_SIZE
default 1024
config SRAM_SIZE
default 192
endif # BOARD_FRDM_K64F