diff --git a/src/tests/kernel/boot/loader/platform_misc.cpp b/src/tests/kernel/boot/loader/platform_misc.cpp
new file mode 100644
index 0000000000..f362425986
--- /dev/null
+++ b/src/tests/kernel/boot/loader/platform_misc.cpp
@@ -0,0 +1,15 @@
+/*
+** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
+** Distributed under the terms of the OpenBeOS License.
+*/
+
+
+#include <boot/platform.h>
+
+
+bool
+platform_user_menu_requested(void)
+{
+	return false;
+}
+