@pythoncoder Thank you very much for this most encouraging reply! Apparently with the right hardware, real time performance (at the level I need it now) has already been demonstrated!
The ESP32, despite it's advantages (the huge interest e.g. by this community and low price) has some shortcomings (aside from timing, e.g. ADC performance is very poor). But without doubt these issues will be addressed in revisions or other solutions will come to market. I use this solution now since (1) I need wifi (2) low cost.
Incidentally, are you aware of available solutions for wifi with the pyboard? Apparently there is one based on the CC3000 but that chip is a bit dated. Also, I am surprised that the CC3200 was essentially abandoned in favor of the ESP32. The latter has of course better raw performance, but presumably specs like irq delay and adc offset are better?
Concerning bare metal ... on "loboris" python, user code runs on a separate thread.
lists a single thread (MainThread). Perhaps it behaves like single threaded "bare metal" if I don't start other threads?
I want to run some tests, but ran into a problem with the Timer.