diff --git a/rtemsbsd/dev/usb/controller/ohci_lpc3250.c b/rtemsbsd/dev/usb/controller/ohci_lpc3250.c
index 8a63fe4a..e9808683 100644
--- a/rtemsbsd/dev/usb/controller/ohci_lpc3250.c
+++ b/rtemsbsd/dev/usb/controller/ohci_lpc3250.c
@@ -1,7 +1,5 @@
 #include <freebsd/machine/rtems-bsd-config.h>
 
-#include <freebsd/machine/rtems-bsd-config.h>
-
 #include <bsp.h>
 
 #ifdef LIBBSP_ARM_LPC3250_BSP_H