JingleOS
JingleOS is a open source Java operating system for embedded devices which aims to achieve dependability by design. It can be used on ARM and x86 systems although, due to Java programming language, it might be easily ported to others architectures.
Go start a discussion on this project's forums





