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.. :(
Is the best and so far I know the only one free and open source OIL configurator wich can be used to generate OSEK OIL configuration files... :) I hope I can make it compatible with FreeOSEK as fast as possible :)
enjoy it.
Mariano.-