diff --git a/c/src/lib/libbsp/sparc/leon3/console/console.c b/c/src/lib/libbsp/sparc/leon3/console/console.c
index 4713491b81..eba0013ad4 100644
--- a/c/src/lib/libbsp/sparc/leon3/console/console.c
+++ b/c/src/lib/libbsp/sparc/leon3/console/console.c
@@ -29,6 +29,7 @@
 #include <bsp.h>
 #include <bsp/fatal.h>
 #include <bsp/apbuart_termios.h>
+#include <rtems/console.h>
 
 /* The LEON3 BSP UART driver can rely on the Driver Manager if the
  * DrvMgr is initialized during startup. Otherwise the classic driver
diff --git a/c/src/lib/libbsp/sparc/leon3/include/bsp.h b/c/src/lib/libbsp/sparc/leon3/include/bsp.h
index 010162f7f4..ef597cb704 100644
--- a/c/src/lib/libbsp/sparc/leon3/include/bsp.h
+++ b/c/src/lib/libbsp/sparc/leon3/include/bsp.h
@@ -33,7 +33,6 @@
 
 #include <rtems.h>
 #include <leon.h>
-#include <rtems/console.h>
 #include <rtems/irq-extension.h>
 
 #ifdef __cplusplus