I was confused the other day when I was browsing ESP32 on Aliexpress and found models with a price tag of 30~60 euros instead of a couple of bucks. So those models have enough silicon to run a general full fledged OS. Picture me impressed!