Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/amd64/src/pm.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -34,4 +34,5 @@
  */
 
+#include <arch.h>
 #include <arch/pm.h>
 #include <arch/asm.h>
@@ -228,4 +229,22 @@
 }
 
+/* Reboot the machine by initiating
+ * a triple fault
+ */
+void arch_reboot(void)
+{
+	preemption_disable();
+	ipl_t ipl = interrupts_disable();
+	
+	memsetb((uintptr_t) idt, sizeof(idt), 0);
+	idtr_load(&idtr);
+	
+	interrupts_restore(ipl);
+	asm volatile (
+		"int $0x03\n"
+		"hlt\n"
+	);
+}
+
 /** @}
  */
Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/arm32/src/arm32.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -83,4 +83,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/ia32/src/pm.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -122,5 +122,5 @@
 {
 	idescriptor_t *d;
-	int i;
+	unsigned int i;
 
 	for (i = 0; i < IDT_ITEMS; i++) {
@@ -231,4 +231,26 @@
 }
 
+/* Reboot the machine by initiating
+ * a triple fault
+ */
+void arch_reboot(void)
+{
+	preemption_disable();
+	ipl_t ipl = interrupts_disable();
+	
+	memsetb((uintptr_t) idt, sizeof(idt), 0);
+	
+	ptr_16_32_t idtr;
+	idtr.limit = sizeof(idt);
+	idtr.base = (uintptr_t) idt;
+	idtr_load(&idtr);
+	
+	interrupts_restore(ipl);
+	asm volatile (
+		"int $0x03\n"
+		"hlt\n"
+	);
+}
+
 /** @}
  */
Index: kernel/arch/ia32xen/src/ia32xen.c
===================================================================
--- kernel/arch/ia32xen/src/ia32xen.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/ia32xen/src/ia32xen.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -212,4 +212,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/ia64/src/ia64.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -177,4 +177,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */
Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/mips32/src/mips32.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -179,4 +179,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */
Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -49,5 +49,6 @@
 #define PACKET_CUDA 0x01
 
-#define CUDA_POWERDOWN 0x0a
+#define CUDA_POWERDOWN	0x0a
+#define CUDA_RESET		0x11
 
 #define RS 0x200
@@ -192,7 +193,4 @@
 
 
-void send_packet(const uint8_t kind, index_t count, ...);
-
-
 static void receive_packet(uint8_t *kind, index_t count, uint8_t data[])
 {
@@ -317,5 +315,5 @@
 
 
-void send_packet(const uint8_t kind, index_t count, ...)
+static void send_packet(const uint8_t kind, count_t count, ...)
 {
 	index_t i;
@@ -342,7 +340,4 @@
 
 void cpu_halt(void) {
-#ifdef CONFIG_POWEROFF
-	send_packet(PACKET_CUDA, 1, CUDA_POWERDOWN);
-#endif
 	asm volatile (
 		"b 0\n"
@@ -350,4 +345,11 @@
 }
 
+void arch_reboot(void) {
+	send_packet(PACKET_CUDA, 1, CUDA_RESET);
+	asm volatile (
+		"b 0\n"
+	);
+}
+
 /** @}
  */
Index: kernel/arch/ppc64/src/ppc64.c
===================================================================
--- kernel/arch/ppc64/src/ppc64.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/ppc64/src/ppc64.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -129,4 +129,5 @@
 {
 }
+
 /** Return console to userspace
  *
@@ -136,4 +137,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */
Index: kernel/arch/sparc64/src/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sparc64.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/sparc64/src/sparc64.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -156,4 +156,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */