Comment 4 for bug 1358920

Revision history for this message
Mauricio Faria de Oliveira (mfo) wrote : Re: Swith kernel to vmlinuz (from vmlinux) on ppc64el

Thanks.

For the record, I'll file bugs upstream for the userpace tools failing (discussed on irc).