Haswell只有sid支持
Ubuntu的HWE支持但GCC版本又不足

整体来看 不得不承认 stable还是RHEL系第一

就是很不习惯 要摆脱一直使用debian的习惯了
homebrew/versions/gcc43 homebrew/versions/gcc46 homebrew/versions/gcc48 homebrew/versions/llvm-gcc28
homebrew/versions/gcc44 homebrew/versions/gcc47 homebrew/versions/gcc49 homebrew/dupes/apple-gcc42
homebrew/versions/gcc45

Debian stable 就是追求稳定更新很慢的吧，个人日常用的话，还是用 sid。


Homebrew 不是 OS X only 的么？……

可以添加Backports源 安装3.10以上内核

http://backports.debian.org/

服务器？ 弄个centos+kvm 再装debian

linux brew
@dorentus

Stable系统当然毫无疑问的RHEL第一, 但其实debian+backport也蛮好

Experimental fork of Homebrew for Linux. https://github.com/Homebrew/linuxbrew 这个

我想在当今这个时代还要成天折腾显卡驱动的话，真是浪费生命。。。

sid滚动升级，适合日常使用

安装稳定版，之后编译升级最新内核，这就是答案。