tux in Fedora Core

[Alex Kiernan <alex kiernan thus net>]

Is tux in or out of FC? 

https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=115418

doesn't seem to make things clearer (I'm assuming that rawhide is what
will become RHEL?)

I've patched up kernel-2.6.5-1.315 to support tux on x86-64, but I'm
not sure whether I should put patches in bugzilla for FC or send them
onto the tux mailing list.

-- 
Alex Kiernan, Principal Engineer, Development, THUS plc