Linus Torvalds, developer at Microsoft