los unicos ficheros que aparecen son 00banner y 90userinit, propios del kernel de la propia mahdi, aparentemente nada extraño, pero bueno, esperare a ver si sale una nueva release y probare hasta que vea que arranca, es una lastima porque lo que todo el mundo habla de este kernel son maravillas
un saludo
