kernel.ecore 0b76d12b66f6d7f045a547bb1775428075c82ced GREEN