Erleos is a project mainly written in ERLANG and C, it's free.

This is a real mobile robot operating system being developed at my univ. Boring.