4 ms·

There was one for a while though wasn't really targeted at users: https://en.wikipedia.org/wiki/JavaOS https://en.wikipedia.org/wiki/JavaOS

• tgtweak 3y ago
  Still exists and thriving today as javacard.