por lo que tengo entendido deberia funcionar igual que instalar cualquier linux. lo que pasa es que nuestra pequeña es un poco cabrona a la hora de arrancar desde usb, por lo que veo. llevo mil pruebas y no lo he conseguido.
Espero que entre todos lo consigamos.