diff options
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/startup.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kern/startup.c b/kern/startup.c index 56e05b3f..1f873192 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -63,6 +63,7 @@ #include <machine/model_dep.h> #include <mach/version.h> #include <device/device_init.h> +#include <device/intr.h> #if MACH_KDB #include <device/cons.h> @@ -228,6 +229,9 @@ void start_kernel_threads(void) (void) kernel_thread(kernel_task, reaper_thread, (char *) 0); (void) kernel_thread(kernel_task, swapin_thread, (char *) 0); (void) kernel_thread(kernel_task, sched_thread, (char *) 0); +#ifndef MACH_XEN + (void) kernel_thread(kernel_task, intr_thread, (char *)0); +#endif /* MACH_XEN */ #if NCPUS > 1 /* |