Linux is a registered trademark of Linus Torvalds.