<p dir="ltr">To get debian working with the proprietary firmware is pretty simple.  On usb keys there are a few non free file you need to copy onto it or just download an unofficial iso with the firmware bits added in.  I wish I had links to the debain wiki articles I use when I do this.</p>