ОС семейства BSD и Top 500?
Вы сами ответили, по многим пунктам не уступает, а смысл? Если не уступает, при этом проигрывает, минимум по кол-ву специалистов способных поддерживать? Ну а лицензия, кого волнует какая там лицензия? Никто не заставит выкладывать ваш код под GPL, если вы не начнете распространять свой линукс для суперкомпьютера..., а до тех пор GPL это или BSD мало кого должно волновать.
Когда Linux туда только начал пробиваться в BSD вообще не было SMP!