Failure is the regular Amix expert around here, he might know something. Unless it's on the Amix tape itself, I expect the official SDK has been lost, unfortunately.
Anything on the clock bits in the Hardware Reference Manual or the 3000 schematics? Have you examined SetBatt?