diff --git a/configure/os/CONFIG.Common.RTEMS b/configure/os/CONFIG.Common.RTEMS
index e5ae6e9aa..d24b52d48 100644
--- a/configure/os/CONFIG.Common.RTEMS
+++ b/configure/os/CONFIG.Common.RTEMS
@@ -15,7 +15,7 @@
 
 #-------------------------------------------------------
 # Where to find RTEMS
-RTEMS_BASE=/opt/rtems/rtems-4.7
+RTEMS_BASE=/usr/local/rtems/rtems-4.7
 RTEMS_VERSION=4.7
 
 #-------------------------------------------------------