Kerberos vendors

[Gabe]

Howdy, all.

At http://web.mit.edu/kerberos/www/#what_is , it says that there are a bunch
of vendors who sell their own versions of Kerberos.  Can you guys steer me
towards a couple vendors?  (My google and yahoo skills did not produce any
success.)  In particular, I'm looking for Kerberos libraries for the
PocketPC or PalmOS platforms, but knowing the existence of any vendors would
probably be better than nothing.

Thanks in advance!

- Gabe