I have done it a couple times (although with another Linux distro as the other OS), but the procedure very much depend on whether you are going to use Legacy BIOS or UEFI to boot your system.
I have done it a couple times (although with another Linux distro as the other OS), but the procedure very much depend on whether you are going to use Legacy BIOS or UEFI to boot your system.