[batista]

No, it's one he uses. He talked about it several times. Here's a photo of his desktop: http://micro.dentarg.net/post/18516355410/linus-torvalds-has...

And here's a quote of his in his G+ blog: "Point me to a better laptop. Trust me, I tried. They don't exist. It's sad. They are all big and clunky." (Someone suggesting Lenovo) "no, Lenovo doesn't. I have the Lenovo X1. It's bigger, plasticky, and has worse battery life."

(As for above, probably he has one for his kids too or his kids also use his --or he just mentioned it in the example above to refer to a usability issue for the "common user").

In the past he also had a G5 (Linux) as his desktop machine, and an iBook with OS X for writing his autobiography.