1 files changed, 11 insertions, 0 deletions
diff --git a/mini-os/kernel.c b/mini-os/kernel.c
index 7c37604745..6486fac119 100644
--- a/mini-os/kernel.c
+++ b/mini-os/kernel.c
@@ -39,6 +39,8 @@ void failsafe_callback(void);
 /* default exit event handler */
 static void exit_handler(int ev, struct pt_regs *regs);
 
+extern void trap_init(void);
+
 /*
  * INITIAL C ENTRY POINT.
  */
@@ -58,6 +60,9 @@ void start_kernel(start_info_t *si)
         __KERNEL_CS, (unsigned long)failsafe_callback);
 
 
+    trap_init();
+
+
     /* ENABLE EVENT DELIVERY. This is disabled at start of day. */
     __sti();
     
@@ -78,6 +83,12 @@ void start_kernel(start_info_t *si)
     printk("  flags:      0x%lx\n", si->flags);
     printk("  cmd_line:   %s\n",  si->cmd_line ? (const char *)si->cmd_line : "NULL");
 
+
+    /*
+     * If used for porting another OS, start here to figure out your
+     * guest os entry point. Otherwise continue below...
+     */
+
     /* init memory management */
     init_mm();