diff --git a/src/system/kernel/device_manager/device_manager.c b/src/system/kernel/device_manager/device_manager.c
index f56bffd6ae..65e612c2bc 100644
--- a/src/system/kernel/device_manager/device_manager.c
+++ b/src/system/kernel/device_manager/device_manager.c
@@ -1,5 +1,5 @@
 /*
- * Copyright 2004-2006, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
+ * Copyright 2004-2007, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
  * Copyright 2002-2004, Thomas Kurschel. All rights reserved.
  *
  * Distributed under the terms of the MIT License.
@@ -16,6 +16,8 @@
 
 #include <generic_syscall.h>
 #include <KernelExport.h>
+
+#include <stdlib.h>
 #include <string.h>