2015-01-16 19:35 GMT+01:00 Karanbir Singh <mail-lists at karan.org>: > > does indeed, do we know what the status on that is ? > > - KB > > -- > Karanbir Singh > +44-207-0999389 | http://www.karan.org/ | twitter.com/kbsingh > GnuPG Key : http://www.karan.org/publickey.asc It's shipped on Fedora 21, F21 Cloud images only ships kernel-core. What used to be kernel in Fedora < 21 is divided between kernel-core (bare kernel) + kernel-modules (commonly used modules) If you're looking a contact, Josh Boyer is the right person to ask about it. H.