version 1.9, 2008/01/02 02:38:44 |
version 1.10, 2008/01/11 10:54:50 |
|
|
#include <sys/kern_time.h> |
#include <sys/kern_time.h> |
#include <sys/kern_sched.h> |
#include <sys/kern_sched.h> |
|
|
|
#ifdef ARCH_SAM7S64 |
#include <sys/devctl.h> /* XXX */ |
#include <sys/devctl.h> /* XXX */ |
#include <arch/sam7s64/dev/gpio7segvar.h> /* XXX */ |
#include <arch/sam7s64/dev/gpio7segvar.h> /* XXX */ |
|
#endif |
|
|
#include <libkern/printf.h> |
#include <libkern/printf.h> |
|
|
|
|
|
|
#ifndef ARCH_SAM7S64 |
#ifndef ARCH_SAM7S64 |
/* initialize scheduler before enabling system ticks */ |
/* initialize scheduler before enabling system ticks */ |
// sched_init(); |
sched_init(); |
|
|
/* initialize system clock; this will start interrupts from timer */ |
/* initialize system clock; this will start interrupts from timer */ |
// sysclock_init(); |
sysclock_init(); |
#endif |
#endif |
|
|
#ifdef ARCH_SAM7S64 |
#ifdef ARCH_SAM7S64 |
|
|
} |
} |
goto loop; |
goto loop; |
#endif |
#endif |
|
|
|
printf("Autoconfiguration completed.\n"); |
|
|
while(1) |
while(1) |
; |
; |