Administrivia for November.
Firstly, I have managed to get Debian running on an Samsung ultrabook — there is an error in the Debian installer where you have to NOT select Master Boot record (because then it will install to your USB drive) but instead select your boot drive. With some BIOS changes (I have legacy and UEFI both