Object-Oriented Languages on Bare Metal

I'm aware o开发者_JAVA百科f C++ and Object Pascal, but are there any other object-oriented languages whose compilers currently can compile them to run on a machine with no operating system? If there are, do they have a sizeable community and acceptably good documentation?

Ada is often used in embedded environments. I don't know how much of a community it has nowadays, but it's got a tradition of excellent documentation, and (in my humble opinion) its designers made different mistakes from the mistakes of the C family, which is refreshing.

Most of devkits use GCC. So you can choose any language which GCC supports. Of course, there are difficulties, e.g. calling/linking library functions written in C, or lack of standard (non-C/C++) language libraries...

Tcl is used in embedded applications. There are OO extensions to it, and I believe there are plans to bake in some of that functionality natively.