I am looking at the Mini Appliance, but have come across the fitlet2, which can be configured with a four core, low power Celeron J3455. That CPU seems to have approximately 40% better multi-threaded performance than the AMD GX-412TC, but doesn’t support ECC memory. The Atom E3950 is also available, with about 30% better performance than the AMD GX-412TC and it does support ECC memory. Of note, neither the J3455 or E3950 support SMT (hyper-threading), so it won’t be affected by disabling SMT. It is close in price, but slightly cheaper than the Mini Appliance, depending on how it is configured. The fitlet2 with J3455, 8GB RAM, 64GB SSD, and four port NIC is $321.50 (US).
If I go this route, I will donate at least the difference in cost to the IPFire project.
I would appreciate any and all opinions or experiences.