Because I'm in Brazil, highly specific brands that do not ship to my country are out of the question, and even the ones that ship usually cost more than I can pay due to currency exchange rate and shipping costs themselves. What are some universal brands and models that I can probably find on my location, that won't give me much trouble running Linux?
I don't require playing games or top performance (
4GB 8GB RAM, a nice/vibrant screeen and an i5 processor would be the minimum requirement. SSD would be nice, but for my budget it's a plus. Just something that is durable (with a good guarantee) and works reliably under Linux, especially when it comes to HDMI output, video graphics adapter support, booting from USB, hibernating, sleeping, power management etc.