Egyelőre Scientific Linux (azon még fut a Xilinx ISE Webpack segfault nélkül, libc problémák). De már szemeztem az arch-hal is.