I don't know whether it counts as "serious" to you, but literally billions of SIM cards and credit cards are running JavaCard:
https://software.ac.uk/blog/2018-07-13-javacard-execution-en...
https://www.youtube.com/watch?v=31D94QOo2gY