diff options
Diffstat (limited to 'kern/startup.c')
| -rw-r--r-- | kern/startup.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kern/startup.c b/kern/startup.c index bd296943..c87cbb10 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -36,6 +36,7 @@ #include <ipc/ipc_init.h> #include <kern/cpu_number.h> #include <kern/debug.h> +#include <kern/gsync.h> #include <kern/machine.h> #include <kern/mach_factor.h> #include <kern/mach_clock.h> @@ -158,6 +159,8 @@ void setup_main(void) recompute_priorities(NULL); compute_mach_factor(); + gsync_setup (); + /* * Create a kernel thread to start the other kernel * threads. Thread_resume (from kernel_thread) calls |