funnyos/kern/kern_main.c - diff

Return to kern_main.c CVS log

Up to [local] / funnyos / kern

Diff for /funnyos/kern/kern_main.c between version 1.2 and 1.10

-version 1.2, 2007/10/26 15:13:23
+version 1.10, 2008/01/11 10:54:50
 Line 4
 Line 4
 Line 4
  #include <sys/types.h>
  #include <sys/kern_devconfig.h>
  #include <sys/mem.h>
+ #include <sys/kern_time.h>
+ #include <sys/kern_sched.h>
+ #ifdef ARCH_SAM7S64
+ #include <sys/devctl.h> /* XXX */
+ #include <arch/sam7s64/dev/gpio7segvar.h> /* XXX */
+ #endif
  #include <libkern/printf.h>
  extern void config_consinit(void);
-Line 13
+Line 20
 Line 13
 Line 20
  void
  main(void)
  {
-         /* set up boot console */
+         uint8_t digit;
-         config_consinit();
+         uint32_t i;
+         /* set up critical devices */
+         config_machineinit();
+         printf("Welcome to FunnyOS!\n");
          /* initialize kmalloc */
          kmem_init();
          /* attach all devices described in arch/${ARCH}/config.c */
          devconfig_recurse();
-         printf("\n\nok\n");
+ #ifndef ARCH_SAM7S64
+         /* initialize scheduler before enabling system ticks */
+         sched_init();
+         /* initialize system clock; this will start interrupts from timer */
+         sysclock_init();
+ #endif
+ #ifdef ARCH_SAM7S64
+ loop:
+         for(digit = 0; digit < 16; digit++) {
+                 printf("kern_main: LED output: %d\n", digit);
+                 devctl("gpio7seg", 0, DCGPIO7SEG_SETDIGIT, &digit);
+                 /* dummy timeout */
+                 for (i = 0; i < 5000000; i++)
+                         ;
+         }
+ goto loop;
+ #endif
+         printf("Autoconfiguration completed.\n");
          while(1)
                          ;

CVSweb