[Import dcoutt's hsclock
Don Stewart <dons@galois.com>**20080616214424] 
[Add setup
Don Stewart <dons@galois.com>**20080616214608]