Revise status of NuttX trademark
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.