Then there was an effort to create a secure interoperable platform for smartcards, it was Global Platform and it uses Java card for implementing their goals. All post 2000 smartcards are compatible with GP:
https://youtu.be/WMII5G98AdM?t=608 (skipped to the part where he mentions that it's Java)
[1]: https://firmwaresecurity.com/2017/05/07/intel-me-based-on-mi...
Some background, for anyone not familiar:
https://en.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_deb...
That being said, it is also reasonable to expect a lot of modems, RAM, and hard drives could use MINIX for their control processors.
(Edit, in response to all of the comments in reply to this) Wow, I had no idea so many tiny devices ran java..
[1] https://www.reddit.com/r/yubikey/comments/6ji8ag/updating_yu...