From d3b2cb65adfbc4d9a4eb1252a0c1d8aeb74f8abd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Axel=20D=C3=B6rfler?= Date: Wed, 3 Nov 2004 02:20:59 +0000 Subject: [PATCH] Now properly resets the system using the keyboard controller. git-svn-id: file:///srv/svn/repos/haiku/trunk/current@9750 a95241bf-73f2-0310-859d-f6bbb57e9c96 --- src/kernel/boot/platform/bios_ia32/start.c | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/src/kernel/boot/platform/bios_ia32/start.c b/src/kernel/boot/platform/bios_ia32/start.c index db3bb8c0c0..3af4b16757 100644 --- a/src/kernel/boot/platform/bios_ia32/start.c +++ b/src/kernel/boot/platform/bios_ia32/start.c @@ -14,6 +14,7 @@ #include #include #include +#include #include @@ -74,7 +75,7 @@ platform_start_kernel(void) mmu_init_for_kernel(); cpu_boot_other_cpus(); - printf("kernel entry at %lx\n", gKernelArgs.kernel_image.elf_header.e_entry); + dprintf("kernel entry at %lx\n", gKernelArgs.kernel_image.elf_header.e_entry); asm("movl %0, %%eax; " // move stack out of way "movl %%eax, %%esp; " @@ -93,10 +94,8 @@ platform_start_kernel(void) void platform_exit(void) { - struct bios_regs regs; - regs.eax = 0x0; - call_bios(0x19, ®s); - // this should reboot the system (but doesn't seem to work...) + // reset the system using the keyboard controller + out8(0xfe, 0x64); }