Changeset 149d14e5 in mainline for kernel/arch/amd64/src/amd64.c

Timestamp:

2009-04-06T16:18:41Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

13a638d

Parents:

415d272

Message:

ia32, amd64: do not reboot via a triple fault (which is nasty), but use the i8042 controller to trigger CPU reset

File:

• kernel/arch/amd64/src/amd64.c (modified) (1 diff)

kernel/arch/amd64/src/amd64.c

@@ -282 +282 @@
 }
 
+void arch_reboot(void)
+{
+#ifdef CONFIG_PC_KBD
+        i8042_cpu_reset((i8042_t *) I8042_BASE);
+#endif
+}
+
 /** @}
  */