I'm getting started with the KSDK 1.2, trying to get some of the RTCS examples running on my FRDM-k64f board. I built the examples with ARMGCC and the resulting elf files are really big - 1.5MB or more which seems unusually large for a simple example. Doesn't the K64 only have 1MB of program space? Additionally, I tried to flash one of the binaries on to the k64 board with pyOCD and it seemed to take a very long time. Any idea what's going on here?
-rwxr-xr-x 1 thom staff 1.6M May 22 10:10 ./httpsrv/build/armgcc/httpsrv_frdmk64f/int flash debug/httpsrv.elf -rwxr-xr-x 1 thom staff 1.5M May 22 10:11 ./httpsrv/build/armgcc/httpsrv_frdmk64f/int flash release/httpsrv.elf -rwxr-xr-x 1 thom staff 2.2M May 26 08:40 ./shell/build/armgcc/shell_frdmk64f/int flash debug/shell.elf -rwxr-xr-x 1 thom staff 2.3M May 26 08:41 ./shell/build/armgcc/shell_frdmk64f/int flash release/shell.elf -rwxr-xr-x 1 thom staff 1.5M May 26 08:36 ./snmp/build/armgcc/snmp_frdmk64f/int flash debug/snmp.elf -rwxr-xr-x 1 thom staff 1.4M May 26 08:37 ./snmp/build/armgcc/snmp_frdmk64f/int flash release/snmp.elf