1.1 --- a/extras/mini-os/kernel.c	Thu Nov 16 18:47:28 2006 -0800
     1.2 +++ b/extras/mini-os/kernel.c	Mon Nov 20 10:33:35 2006 +0000
     1.3 @@ -101,9 +101,6 @@ void start_kernel(start_info_t *si)
     1.4  
     1.5      trap_init();
     1.6  
     1.7 -    /* ENABLE EVENT DELIVERY. This is disabled at start of day. */
     1.8 -    __sti();
     1.9 -    
    1.10      /* print out some useful information  */
    1.11      printk("Xen Minimal OS!\n");
    1.12      printk("start_info:   %p\n",    si);
    1.13 @@ -119,6 +116,9 @@ void start_kernel(start_info_t *si)
    1.14      /* Set up events. */
    1.15      init_events();
    1.16      
    1.17 +    /* ENABLE EVENT DELIVERY. This is disabled at start of day. */
    1.18 +    __sti();
    1.19 +
    1.20      arch_print_info();
    1.21  
    1.22      setup_xen_features();