Побывал на конференции ФАПСИ в Анапе:

Машины грузятся в OpenFirmware, для загрузки Десятки требуется USB ключ, все используют FileVault.