Finally! I’ve been searching high and low for a real live unit. Now I’ve finally seen one. It’s the HP 2133 Mini Note — the entry-level Linux version.