--- /dev/null
+// $Id$
+/*
+ * Copyright (c) 2005-2006 Intel Corporation
+ * All rights reserved.
+ *
+ * This file is distributed under the terms in the attached INTEL-LICENSE
+ * file. If you do not find these files, copies can be found by writing to
+ * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA,
+ * 94704. Attention: Intel License Inquiry.
+ */
+/**
+ * 16-bit 32kHz Counter component as per TEP102 HAL guidelines. The mica
+ * family 32kHz clock is built on hardware timer 1, and actually runs at
+ * CPU frequency / 256. You can use the MeasureClockC.cyclesPerJiffy()
+ * command to figure out the exact frequency.
+ *
+ * @author David Gay <dgay@intel-research.net>
+ */
+
+#include <MicaTimer.h>
+
+configuration CounterOne16C
+{
+ provides interface Counter<TOne, uint16_t>;
+}
+implementation
+{
+ components HplAtm128Timer1C as HWTimer, InitOneP,
+ new Atm128CounterC(TOne, uint16_t) as NCounter;
+
+ Counter = NCounter;
+ NCounter.Timer -> HWTimer;
+}