This code will bring out 64kHz onto pin 32:
gpio_configurePin(32 /16, 32 % 16, GPIO_KS_OUTPUT_ENABLE, GPIO_PIN_OUTPUT_HIGH);
aclk_configure(64000, ACLK0, LHL_CLK);
Also, set your fine timer interval to 0 and don't start it. My fine timer was interrupting the clock from coming out. Looking into why this is happening.
Thanks, this indeed worked, and the fine timer breaks the output for me too (the output is still there, but is intermittant, ie has long pauses).