MediaLinux - Linux Kernel, optimized to run natively on Texas Instruments's DSP on top of MediaBIOS; MediaLinux - Linux Kernel, optimized to run natively on Texas Instruments's DSP on top of MediaBIOS