On Tue, Aug 26, 2014 at 3:24 PM, Gwendal Le Guevel <gwendalleguevel@xxxxxxxxx> wrote: > Hello, > > I have buy a IFC6410 board to do some linux hacking. > > I would like to run an up-to-date fedora on it in desktop mode. > > For now I have a fedora 20 installed on a sdcard with freedreno. > But to boot it I launch a prebuild kernel from Linaro, it's a 3.4.x kernel. > I like to run an up-to-date kernel, If I can, perraps it's not possible. In Fedora we have this device enabled in the 3.16+ kernels, you could try either a 3.16.1 kernel from F-21 or 3.17rc2 kernel from rawhide. As for getting it working with aboot, I'm not sure. Peter _______________________________________________ arm mailing list arm@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/arm