#include <pexpert/pexpert.h>
-#if CONFIG_EMBEDDED
-#include <libkern/OSKextLib.h>
-#endif
-
void * get_user_regs(thread_t); /* XXX kludge for <machine/thread.h> */
void IOKitInitializeTime(void); /* XXX */
void IOSleep(unsigned int); /* XXX */
bsd_init_kprintf("calling knote_init\n");
knote_init();
-#if CONFIG_EMBEDDED
- /* Initialize kernel memory status notifications */
- bsd_init_kprintf("calling kern_memorystatus_init\n");
- kern_memorystatus_init();
-#endif
-
/* Initialize for async IO */
bsd_init_kprintf("calling aio_init\n");
aio_init();
kernproc->p_fd->fd_cdir = NULL;
kernproc->p_fd->fd_rdir = NULL;
+#if CONFIG_EMBEDDED
+ /* Initialize kernel memory status notifications */
+ bsd_init_kprintf("calling kern_memorystatus_init\n");
+ kern_memorystatus_init();
+#endif
+
#ifdef GPROF
/* Initialize kernel profiling. */
kmstartup();
consider_zone_gc(FALSE);
#endif
-#if CONFIG_EMBEDDED
- /*
- * XXX workaround for:
- * <rdar://problem/6378731> Kirkwood7A135: PPP KEXT no longer loads
- */
- OSKextLoadKextWithIdentifier("com.apple.nke.ppp");
- OSKextLoadKextWithIdentifier("com.apple.nke.l2tp");
- OSKextLoadKextWithIdentifier("com.apple.nke.pptp");
-#endif
-
bsd_init_kprintf("done\n");
}