My daughter just asked me for the 'tiny' laptop. She has taken my Thinkpad X60 which runs linux mint. It's getting on for 20 years old soon!