Gallery: HP's new Mini 1000 and MIE Linux | 15 Photos