diff --git a/headers/private/kernel/boot/platform.h b/headers/private/kernel/boot/platform.h
index 9d2db5906e..c5fd7cf959 100644
--- a/headers/private/kernel/boot/platform.h
+++ b/headers/private/kernel/boot/platform.h
@@ -39,6 +39,7 @@ extern status_t platform_init_video(void);
 extern void platform_switch_to_logo(void);
 extern void platform_switch_to_text_mode(void);
 extern void platform_start_kernel(void);
+extern void platform_exit(void);
 
 #ifdef __cplusplus
 }