GPL copyleft applies to ports?
_delirium: Yes. Any work that counts as a "derived work" of GPL'd software must be licensed under the GPL. I would think a direct port is almost certainly a derived work.