Index: rtems/c/src/lib/libbsp/lm32/shared/milkymist_clock/ckinit.c
===================================================================
--- rtems.orig/c/src/lib/libbsp/lm32/shared/milkymist_clock/ckinit.c	2011-11-26 01:16:17.000000000 -0300
+++ rtems/c/src/lib/libbsp/lm32/shared/milkymist_clock/ckinit.c	2011-11-26 01:17:27.000000000 -0300
@@ -14,7 +14,7 @@
 
 #include <bsp.h>
 #include <bsp/irq-generic.h>
-#include "../include/system_conf.h"
+#include "../../milkymist/include/system_conf.h"
 #include "clock.h"
 #include "bspopts.h"
 
Index: rtems/c/src/lib/libbsp/lm32/shared/milkymist_timer/timer.c
===================================================================
--- rtems.orig/c/src/lib/libbsp/lm32/shared/milkymist_timer/timer.c	2011-11-26 01:16:17.000000000 -0300
+++ rtems/c/src/lib/libbsp/lm32/shared/milkymist_timer/timer.c	2011-11-26 01:17:27.000000000 -0300
@@ -22,7 +22,7 @@
 #include <rtems.h>
 #include <bsp.h>
 #include <rtems/btimer.h>
-#include "../include/system_conf.h"
+#include "../../milkymist/include/system_conf.h"
 #include "../../shared/clock/clock.h"
 
 bool benchmark_timer_find_average_overhead;
