Im curious about two things.....first if im gonna download Linux what exactly is the name of it, i mean who makes them i dont think theres just a file that says Linux. Maybe im wrong. Second, im also pretty sure you can partition your pc to run both. Is this true?