In case some of you may be interested, I run the Coremark benchmark on ESP8266 (and ESP32). I will try to add more cores (comparable to ESP8266 or ESP32) in the future.
You can find the source code here:
https://github.com/ochrin/coremark
Results are: