Has anyone added a C-compiler to any Eiffel development environment to target a new platform? How hard is it to get the environment to generate different C-code than what the Eiffel environment usually generates?

I see that Eiffel Software claims support for embedded systems but I don't see specific platforms advertised on their web site.