Dell Mini 10 vs HP 5101

[_Rancid_]

Hallo Community,

ich bräuchte eure Hilfestellung beim Kauf meines neuen Netbooks.

Zur Auswahl stehen:

Dell Mini 10

und

HP Mini 5101


Betriebsystem ist egal, da ich mir eh Ubuntu darauf installieren werde.

Da ich darauf programmieren möchte (u.a. mit Eclipse) ist eine höhere Auflösung natürlich von Vorteil, jedoch keine Pflicht.

Hat jemand Erfahrungen mit den beiden Netbooks gemacht?

Kennt ihr vergleichbare Netbooks, die u.U. sogar besser sind?
Mehr als ~350€ möchte ich nicht ausgeben.

Grüße