+}
+
+static void led_on(void)
+{
+ GPIO_PORTG_DATA_R |= 0x04;
+}
+
+static void led_off(void)
+{
+ GPIO_PORTG_DATA_R &= ~0x04;
+}
+
+static NORETURN void spinner_thread(void)
+{
+ char spinner[] = {'/', '-', '\\', '|'};
+ int i;
+
+ kputs("\n");
+ for(i = 0; ; i++)
+ {
+ kprintf("BeRTOS is up & running: %c\r",
+ spinner[i % countof(spinner)]);
+ timer_delay(100);
+ }
+}
+
+int main(void)
+{
+ IRQ_ENABLE;
+ led_init();
+
+ proc_testSetup();
+ proc_testRun();