Index: kernel/genarch/include/drivers/amdm37x_gpt/amdm37x_gpt.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_gpt/amdm37x_gpt.h	(revision 08d059a2c3dc340977882e9ff3ef6ec011a4e9c9)
+++ kernel/genarch/include/drivers/amdm37x_gpt/amdm37x_gpt.h	(revision 324819c963a68128b33bccd0b439fb8a39047011)
@@ -198,4 +198,11 @@
     amdm37x_gpt_t* timer, uintptr_t ioregs, size_t iosize, unsigned hz)
 {
+	/* Set 32768 Hz clock as source */
+	// TODO find a nicer way to setup 32kHz clock source for timer1
+	// reg 0x48004C40 is CM_CLKSEL_WKUP see page 485 of the manual
+	ioport32_t *clksel = (void*) km_map(0x48004C40, 4, PAGE_NOT_CACHEABLE);
+	*clksel &= ~1;
+	km_unmap((uintptr_t)clksel, 4);
+
 	ASSERT(timer);
 	/* Map control register */
@@ -213,4 +220,5 @@
 	if (timer->special_available) {
 		/* Set values for according to formula (manual p. 2733) */
+		/* Use temporary variables for easier debugging */
 		const uint32_t tpir =
 		    ((32768 / hz + 1) * 1000000) - (32768000L * (1000 / hz));