Come host? Ma il requisito vincolante è Fedora? Altrimenti Red hot e sicuramente più semplice e meno bleeding Edge di Fedora... Cmq i problema sembra essere il kernel e le gcc troppo nuove, qui c'è qualcosa
http://rglinuxtech.com/?p=1939
Inviato dal mio PLK-L01 utilizzando Tapatalk