В общем, нужен ноутбук, на котором предполагается запускать, в числе остального, последний стабильный RHEL. Я не знаю, как у него с поддержкой ноутбучного железа (никак?), так что скорее всего все сведется к тому, что RHEL будет запускаться через, допустим, Virtualbox или VMWare.
Таким образом вопрос сводится просто к выбору ноута, на котором можно будет без особых проблем работать с каким-нибудь мейнстрим-дистрибутивом (ну, Дебиан, к примеру).
Цена - до или не сильно больше 30к. Играть я на нем не собираюсь.
Сам я думал о чем-то вроде Lenovo ThinkPad Edge (15", Intel), хотя готов, в общем-то, к любым предложениям.
Естественно, гуглил/смотрел по сайтам, но хочется услышать мнение, так сказать, живых людей.