Some additions to HardwareTimers.h
Initial write up is complete