Searching for a receiver without linux

[Krauser]

Maybe this is the wrong section but I couldn't find any better place

I want to buy a HD receiver
Please recommend me some good brands and models.
Here is my expectations :
1. No Linux
2. Only one DVB-S2 tuner
3. Record on USB Flash memory
4. HDMI output with 1080p resolution
4. Good Quality
5. Max price up to 150$

Thanks in advance

[Krauser]

Which one is better to buy :
Humax IR-Free HD
StarSat SR-2000HD

Which one supports playing MKV from USB flash memory?
Thanks in advance

[monochrome153]

I assume Dreambox has released one that's non-Linux based. It has an Ethernet port. Not sure if it's still available these days.