Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 183788f14298e64beb95cecd86005dbf6c52fa85)
@@ -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"
+	);
+}
+
 /** @}
  */