А что мне посоветуют из ультрабуков?

Или просто компактных ноутбуков.

Требования следующие:
1. Малый вес для частого таскания
2. Большой объём HDD/SSD для виртуальных машин
3. Отсутствие проблем с Linux
4. Вменяемая клавиатура. В частности, нормально разнесённые клавиши «стрелок».

У меня кандидат есть в принципе, но может что ещё предложите из того, чего не заметил я.