- if (clock & 0x10)
- stm32_gpioPinWrite((struct stm32_gpio *)GPIOC_BASE, LED_PIN, 1);
- else
- stm32_gpioPinWrite((struct stm32_gpio *)GPIOC_BASE, LED_PIN, 0);
+ IRQ_ENABLE;
+ kdbg_init();
+ timer_init();
+ proc_init();
+ led_init();
+
+ proc_new(led_process, NULL, KERN_MINSTACKSIZE, NULL);
+ for (i = 0; ; i = !i)
+ {
+ kputs("BeRTOS up & running!\n");
+ timer_delay(500);