Adding Linux dual booting while keeping your Windows installation