Trademarks
- NuttX is a registered trademark of Gregory Nutt. 
- ARM, ARM7 ARM7TDMI, ARM9, ARM920T, ARM926EJS, Cortex-M3 are trademarks of Advanced RISC Machines, Limited. 
- Beaglebone is a trademark of GHI. 
- BSD is a trademark of the University of California, Berkeley, USA. 
- Cygwin is a trademark of Red Hat, Incorporated. 
- Linux is a registered trademark of Linus Torvalds. 
- Eagle-100 is a trademark of Micromint USA, LLC. 
- EnergyLite is a trademark of STMicroelectronics. 
- EFM32 is a trademark of Silicon Laboratories, Inc. 
- LPC2148 is a trademark of NXP Semiconductors. 
- POSIX is a trademark of the Institute of Electrical and Electronic Engineers, Inc. 
- RISC-V is a registration pending trade mark of the RISC-V Foundation. 
- Sitara is a trademark of Texas Instruments Incorporated. 
- TI is a tradename of Texas Instruments Incorporated. 
- Tiva is a trademark of Texas Instruments Incorporated. 
- UNIX is a registered trademark of The Open Group. 
- VxWorks is a registered trademark of Wind River Systems, Incorporated. 
- ZDS, ZNEO, Z16F, Z80, and Zilog are a registered trademark of Zilog, Inc. 
NOTE: NuttX is not licensed to use the POSIX trademark. NuttX uses the POSIX standard as a development guideline only.