-Amiga International, Inc. Atari ST is probably a trademark, too, but it's
-hard to tell who owns it. Linux is a registered trademark of Linus Torvalds,
-but it isn't his fault.
+Amiga International, Inc. Solaris is a trademark of Sun Microsystems. HP-UX
+is a trademark of HP Hewlett Packard Group LLC. Nvidia is a tradmark of
+Nvidia Corporation. VMS is probably a trademark of Digital Equipment
+Corporation. Atari ST is probably a trademark, too, but it's hard to tell who
+owns it. SCO is probably still a trademark of somebody these days, I guess.
+Linux is a registered trademark of Linus Torvalds, but it isn't his
+fault. OS/2 is a registered trademark of International Business Machines
+Corporation. VMware is a registered trademark of VMware, Inc. Android is a
+trademark of Google LLC. GladOS is a trademark of Aperture Science
+Incorporated.