diff --git a/src/kernel/boot/platform/openfirmware/start.c b/src/kernel/boot/platform/openfirmware/start.c
index f808a3c494..04f7dc5621 100644
--- a/src/kernel/boot/platform/openfirmware/start.c
+++ b/src/kernel/boot/platform/openfirmware/start.c
@@ -86,6 +86,13 @@ platform_start_kernel(void)
 }
 
 
+void
+platform_exit(void)
+{
+	of_exit();
+}
+
+
 uint32
 platform_boot_options(void)
 {