Ticket #1884: arch_cpu.diff

File arch_cpu.diff, 408 bytes (added by oco, 13 years 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();