diff --git a/sys/conf/options b/sys/conf/options
index ce402046a138..a8802af7c2ed 100644
--- a/sys/conf/options
+++ b/sys/conf/options
@@ -908,6 +908,7 @@ FDT		opt_platform.h
 FDT_DTB_STATIC	opt_platform.h
 
 # OFED Infiniband stack
+OFED		opt_ofed.h
 OFED_DEBUG_INIT	opt_ofed.h
 SDP		opt_ofed.h
 SDP_DEBUG	opt_ofed.h