Hi Rao,
Though there is no K64 port yet, there is an update of the K60 port if you want a starting point:
I've been interested in getting a port up and running on the K64, but haven't gotten beyond doing a quick merge of the K60 port with master.
Best.
-jsnyder