Port of the Red Hat Coolkey java card applet to the GlobalPlatform API.  Currently, all work is in the gp211 branch.  See also my coolkey_StartEnrollmentOutputProcessor repository.