OpenSEK is still in pre beta release, but is growing and the base is really good Open Source OSEK implementation. Not is only available for Linux and Windows (simulations modes) and ARM support is on going. The project has 24 members in Source Forge but only few of them are really working.. :(