3 Commits

Author	SHA1	Message	Date
Thomas Veerman	c77228c77b	ARM: fix clock ... The GPTIMER1 clock is configured to run at 32 kHz and generate (overflow) interrupts every 1 ms. However, the Timer Overflow Wrappping Register (TOWR) was configured to filter every other interrupt. This caused to the internal 'realtime' value to be off.	2013-01-11 09:18:36 +00:00
Thomas Veerman	aa3623d873	ARM: make cycle counter available to userspace	2013-01-11 09:18:36 +00:00
Arun Thomas	471a03a362	ARM support for kernel and vm	2012-10-07 21:38:03 -04:00