funnyos/kern/kern_main.c - diff

Return to kern_main.c CVS log

Up to [local] / funnyos / kern

version 1.2, 2007/10/26 15:13:23

version 1.3, 2007/11/06 22:59:35

Line 4

#include <sys/types.h>

#include <sys/kern_devconfig.h>

#include <sys/mem.h>

#include <sys/kern_time.h>

#include <libkern/printf.h>

Line 22

Line 23

/* attach all devices described in arch/${ARCH}/config.c */

devconfig_recurse();

printf("\n\nok\n");

/* initialise system clock; this will start interrupts from timer */

sysclock_init();

while(1)

;