Какие версии Ubuntu Server включают opensm?

Мне нужно запустить диспетчер подсети Infiniband. Я использовал opensm в прошлом, мне понравилось. Кто-нибудь знает, включает ли сервер 12.04 или 13.10 рабочий openm?