I have recently bought a Dell XPS 15 9500 and want to dual boot Ubuntu 20.04 with Windows 10.
I have seen some things like 'reinstall windows' or change something in Registry Editor which does not exist in my case.
What should I do to set up dual boot on this particular device?