Hace tiempo que no entraba en el mundo de las ROMs pero ya van a hacer 12 meses desde que tengo el terminal y este fin de semana le hice "un completo" bootloader, Recovery y ROM. Estoy con esta, el rendimiento bueno. A lo que venía, mi pregunta es, como cambio el kernel a utilizar? estoy muy LOST!!!
GRACIAS!!! ;)
