diff --git a/src/kernel/core/device_manager/settings.cpp b/src/kernel/core/device_manager/settings.cpp
index 614dff40a0..b862b5d278 100644
--- a/src/kernel/core/device_manager/settings.cpp
+++ b/src/kernel/core/device_manager/settings.cpp
@@ -6,11 +6,12 @@
 
 #include <KernelExport.h>
 
+#include <safemode.h>
 #include <kernel.h>
 #include <syscalls.h>
 
 
-static status_t
+extern "C" status_t
 get_safemode_option(const char *parameter, char *buffer, size_t *_bufferSize)
 {
 	// ToDo: implement me for real!