DSP TI5402 kit simulator in linux