Cual era el program para descompilar kernel

[werty100]

Ola cual era el program que pusieron hace poco para descompilar el kernel sin error he buscado por todos los lados y no lo encuentro lo necesito para MIUIv5

[Garcia98]

Para descompilar no sé, pero para compilar yo siempre he usado la consola de comandos de Linux.