makefile: Update K2K platform name
[processor-sdk/big-data-ipc-examples.git] / host_bios / simple_buffer_example / shared / bigdataxlat /
drwxr-xr-x   ..
drwxr-xr-x - bios