Linus Torvalds.sats