Eclipse with the C/C++ plugin can be used to develop Iguana/L4-based systems. Please see a local guide for more information.