diff options
Diffstat (limited to 'kern/startup.c')
| -rw-r--r-- | kern/startup.c | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/kern/startup.c b/kern/startup.c index 5a2171e..86d109a 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -31,8 +31,6 @@ #include <xpr_debug.h> #include <cpus.h> #include <mach_host.h> -#include <norma_ipc.h> -#include <norma_vm.h> #include <mach/boolean.h> #include <mach/machine.h> @@ -226,21 +224,6 @@ void start_kernel_threads() device_service_create(); /* - * Initialize NORMA ipc system. - */ -#if NORMA_IPC - norma_ipc_init(); -#endif /* NORMA_IPC */ - - /* - * Initialize NORMA vm system. - */ -#if NORMA_VM - norma_vm_init(); -#endif /* NORMA_VM */ - - - /* * Initialize kernel task's creation time. * When we created the kernel task in task_init, the mapped * time was not yet available. Now, last thing before starting |