diff --git a/include/partition.h b/include/partition.h
index 08504dd..cdf6368 100644
--- a/include/partition.h
+++ b/include/partition.h
@@ -19,8 +19,17 @@
         char name[16];
 };
 
+#ifdef CONFIG_PARTITION
 struct device_d *dev_add_partition(struct device_d *dev, unsigned long offset,
 		size_t size, int flags, const char *name);
+#else
+static inline struct device_d *dev_add_partition(struct device_d *dev,
+		unsigned long offset, size_t size, int flags,
+		const char *name)
+{
+	return 0;
+}
+#endif
 /* FIXME: counterpart missing */
 
 #endif /* __PARTITION_H */