Xilinx ISE? Tyűha!
Valóban, a 12.4 már müxik. Szintén Linux Mint fölött használom. A 10.valahányat még VmWare-ben futtattam.
(Ha szabad kérdezni, hol dolgozol a Xilinx ISE-vel. Egyetemen, vagy iparban? És ha iparban, akkor idehaza, vagy külföldön? Én iparban, idehaza, de csak az XSDK részét használom.)