3 files changed, 0 insertions, 3 deletions
diff --git a/src/console/console.c b/src/console/console.c
index 16c041e7b1..1a6aec1285 100644
--- a/src/console/console.c
+++ b/src/console/console.c
@@ -22,7 +22,6 @@
 #include <console/usb.h>
 #include <console/spi.h>
 #include <console/flash.h>
-#include <rules.h>
 
 void console_hw_init(void)
 {
diff --git a/src/console/init.c b/src/console/init.c
index 0bafdbe3f0..ff1d61639a 100644
--- a/src/console/init.c
+++ b/src/console/init.c
@@ -20,7 +20,6 @@
 #include <console/streams.h>
 #include <device/pci.h>
 #include <option.h>
-#include <rules.h>
 #include <version.h>
 
 /* Mutable console log level only allowed when RAM comes online. */
diff --git a/src/console/post.c b/src/console/post.c
index 323a1910f9..4c3753561b 100644
--- a/src/console/post.c
+++ b/src/console/post.c
@@ -20,7 +20,6 @@
 #include <device/device.h>
 #include <pc80/mc146818rtc.h>
 #include <smp/spinlock.h>
-#include <rules.h>
 
 /* Write POST information */