--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/python/stm32f4/blink.c3	Fri Jun 21 15:01:08 2013 +0200
@@ -0,0 +1,45 @@
+
+// This file blinks a LED on the STM32F4 discovery board.
+
+package blink;
+
+// Globals:
+var int divider;
+
+// Functions:
+function void tim2_handler()
+{
+    divider = 0;
+/*	if (TIM2->SR & TIM_SR_UIF)
+	{
+		divider++;
+		if (divider > 100000)
+		{
+			divider = 0;
+			GPIOD->ODR ^= (1 << 13);
+		}
+	}
+    */
+}
+
+function void main()
+{
+    divider = 0;
+    /*
+	RCC->AHB1ENR |= RCC_AHB1ENR_GPIODEN;
+	RCC->APB1ENR |= RCC_APB1ENR_TIM2EN;
+	
+	GPIOD->MODER = (1<<26);
+	
+	NVIC->ISER[0] |= 1<< (TIM2_IRQn);
+	
+	TIM2->PSC = 0xE000;
+	TIM2->DIER |= TIM_DIER_UIE;
+	TIM2->ARR = 0xE000;
+	TIM2->CR1 |= TIM_CR1_ARPE | TIM_CR1_CEN;
+	TIM2->EGR = 1;
+	
+	while(1);
+    */
+}
+