U.S. federal trademark · Serial No. 86806957
Microkernel computer operating system for microcontrollers for connected and non-connected embedded systems
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.