I was bemused to find a Linux live disk unable to identify the storage volume on my new Dell XPS 13 laptop. It seemed I needed to change the SATA controller mode from `RAID` to `AHCI`, but Windows had other ideas. Unable to find a solution online that didn’t cause a boot BSOD, I found my own.