Hi, I'm going to be setting up two computers running Windows 7 pro to virtualize linux. #1: HP elitebook 8460p, with 128 gb ssd and 500 gb hdd, 8 gb ram. #2: Lenovo e420s, with 64 gb mSATA ssd and 300 gb hdd, 6 gb ram. Any thoughts on which solution would be easier and more effective? Once the machines are set up, they won't need much fancy managing - more to install and run bioinformatics programs, handle large quantities of data, SSH into other computers to access data. Useability and speed are most important. I'd also really appreciate thoughts on which linux distro - mint, fedora, ubuntu...? Again, useability and speed. This will not be used for primary activites (browsing, music, etc) but instead for installing and launching command-line, windows-incompatible programs).