U.S. federal trademark · Serial No. 78269231
Embedded operating framework with Real-Time Kernel to provide real-time services to an embedded operating system;
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.