Here's his interview on The Setup where he describes his laptop and the software he uses http://richard.stallman.usesthis.com/