diff --git a/c/src/lib/libbsp/mips/rbtx4925/console/console-io.c b/c/src/lib/libbsp/mips/rbtx4925/console/console-io.c
index da04957ed8..75cca1ebbd 100644
--- a/c/src/lib/libbsp/mips/rbtx4925/console/console-io.c
+++ b/c/src/lib/libbsp/mips/rbtx4925/console/console-io.c
@@ -28,10 +28,12 @@
  *  http://www.rtems.org/license/LICENSE.
  */
 
-#include <bsp.h>
-#include <rtems/libio.h>
 #include <ctype.h>
 
+#include <rtems/console.h>
+#include <rtems/libio.h>
+#include <bsp.h>
+
 /* PMON entry points */
 int mon_read(int fd, char *buf, int cnt);    /* stdin is fd=0 */
 int mon_write(int fd, char *buf, int cnt);    /* stdout is fd=1 */
diff --git a/c/src/lib/libbsp/mips/rbtx4925/include/bsp.h b/c/src/lib/libbsp/mips/rbtx4925/include/bsp.h
index 30d547122b..5100272829 100644
--- a/c/src/lib/libbsp/mips/rbtx4925/include/bsp.h
+++ b/c/src/lib/libbsp/mips/rbtx4925/include/bsp.h
@@ -23,7 +23,6 @@
 
 #include <rtems.h>
 #include <rtems/iosupp.h>
-#include <rtems/console.h>
 #include <libcpu/tx4925.h>
 
 #ifdef __cplusplus