]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
update
[l4.git] / kernel / fiasco / src / kern / arm / bsp / imx / reset-arm-imx.cpp
index 67aea5d10ba894f4c8e3792751b1529c17355fd0..89dd4c571d28226c328497337d3ef50ef196c0cb 100644 (file)
@@ -25,7 +25,7 @@ pc_reset(void)
 }
 
 // ------------------------------------------------------------------------
-IMPLEMENTATION [arm && imx51]:
+IMPLEMENTATION [arm && (imx35 || imx51)]:
 
 #include "io.h"
 #include "kmem.h"