I’ve installed Debian Sid on my new laptop, everything works except the SDcard reader, which causes suspend to kernel panic (LKML thread) the workaround is to blacklist the rtsx_pci module.

I had to use Jessie (Sid) as Wheezy doesn’t have the wifi drivers in its 3.2 kernel, Sid’s 3.12 kernel does though, but that’s where the SDcard bug comes from! Ubuntu 13.10 has the 3.11 kernel built-in and the liveCD picked up the wifi just fine. VirtualBox works fine on it too, as it has the VMX flags etc.

My package of arduino-mk v1.1.0 got accepted into Debian and Ubuntu. I might have a look at getting my RPM into Fedora next.