I currently use ThinkPad T520. Its a bit heavy. But works smoothly with Fedora. I am looking to buy a T440s which looks awesome and is incredibly light for a thinkpad. I also run dual boot macbook pro. Both suit my needs well and have no problems getting them working.