Debian GNU/Linux "Stretch" (alpha5) on a Dell XPS15 9550

  • Copied Debian Stretch netinst based on the instructions of Debian USB installation

    • netinst ISO from:
    • boot.img.gz from:
  • Boot to bios: F12

    • had to disable UEFI and SecureBoot so that the USB disk (with Debian Stretch) is detected.
  • Used a "USB to ethernet" dongle in order to get network access (wifi wasn't automatically detected).

  • Installed Debian Stretch without any issues. (didn't even have to switch the disk to AHCI in the BIOS).

  • Post-install, to fix wifi, I installed firmware-brcm80211 from non-free, and rebooted.