makefile: Update K2K platform name
[processor-sdk/big-data-ipc-examples.git] / host_bios / simple_buffer_example / shared / TCI6636 /
drwxr-xr-x   ..
-rw-r--r-- 3540 config.bld