Pues sí, cargo el kernel: parpadearon las luces rojas
Bien
Pero seguimos igual ... de momento
Lo que intuyo es que cuando cambiaste la configuración de RedBoot, en la parte de poner los comandos para que cargue el kernel, te falto algo.
RedBoot> fconfig
Run script at boot: true
Boot script:
.. fis load -l vmlinux.bin.l7
.. exec
Enter script, terminate with empty line
>> fis load -l vmlinux.bin.l7
>> exec
>>
Boot script timeout (1000ms resolution):
En éste ejemplo, fijate que comenta que hay que terminar con una línea en blanco. Ese puede ser el porque no carga el kernel.
Saludos, Julio