no oni spis odrizli GPLv2 GCC 4.2.1 ...
a kdyz budu chtit desktop postaveny na kde4, tak stejne si budu muset gcc zkompilovat (aktualne se pod lang/gcc skryva 4.6), nektery porty nezkompiluju povoci clangu 3.3 ...

nove atomy architektury silvermont uz EPT podporuju.
Dalsia vec je, ze na podporu RDRAND netreba nic extra v operacnom systeme, tieto instrukcie je mozne bez problemov pouzivat aj v starsich freebsd. V tomto pripade asi iba freebsd10 tieto instrukcie vyuziva pri vlastnom generatore nahodnych cisel

Na podpore AMD-V v Bhyve se zda se pracuje ... tezko rict, proc udelali VT-x driv, mozna podle toho kdo vic zaplatil :-).