U.S. federal trademark · Serial No. 78269248
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
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.