diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c
index 32f421be0636..a91cc64bd511 100644
--- a/sys/kern/init_main.c
+++ b/sys/kern/init_main.c
@@ -44,6 +44,7 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
+#include "opt_ddb.h"
 #include "opt_init_path.h"
 #include "opt_mac.h"