Recommendation for non-DOS/Unix open source OS outside x86/X64

I know some interesting non-DOS/UNIX-based open source OS like HelenOS, MenuetOS, or Kolibri. They are X86/X64 only, though.

Are there similar things say for ARM/RISC/etc ?