ORCOS SCL Editor plugin for eclipse.
Use is highly recommend for kernel configuration!