Here is a good summary of the current offerings - the favorite looks like DuinOS

Also consider Aiko

I have been using FemtoOS in few projects and it works very well.

I've been looking at atomthreads. That should run on avr's but I don't know if you can merge any of the fw/sw parts of Arduino into it.