3 ms·

Would it not just be easier to dual boot Linux? If you've got a big enough hard drive it works very nicely.