Ticket #1884: arch_cpu.diff

File arch_cpu.diff, 408 bytes (added by oco, 10 months ago)

  • arch_cpu.c

     
    683683 
    684684        // try to reset the system using the keyboard controller 
    685685        out8(0xfe, 0x64); 
     686        // Give some time to the controller to do his job 
     687        // (same delay as in FreeBSD). 
     688        snooze(500000); 
    686689 
    687690        // if that didn't help, try it this way 
    688691        reboot();