diff --git a/common.seed b/common.seed
index 6389794..3552b09 100644
--- a/common.seed
+++ b/common.seed
@@ -1,4 +1,5 @@
 CONFIG_CCACHE=y
+CONFIG_DEVEL=y
 CONFIG_IB_STANDALONE=y
 CONFIG_IB=y
 CONFIG_TARGET_OPTIONS=y