Havok Animation Exporter is a tool that allows you to generate skeleton and animation data for Sonic games that use Havok.