--- /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.
+ */
+/**
+ * 32-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 Counter32khz32C
+{
+ provides interface Counter<T32khz, uint32_t>;
+}
+implementation
+{
+ components CounterOne16C as Counter16,
+ new TransformCounterC(T32khz, uint32_t, T32khz, uint16_t,
+ MICA_DIVIDE_ONE_FOR_32KHZ_LOG2,
+ counter_one_overflow_t) as Transform32;
+
+ Counter = Transform32;
+ Transform32.CounterFrom -> Counter16;
+}