X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp b/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
index 67aea5d10..89dd4c571 100644
--- a/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
@@ -25,7 +25,7 @@ pc_reset(void)
 }
 
 // ------------------------------------------------------------------------
-IMPLEMENTATION [arm && imx51]:
+IMPLEMENTATION [arm && (imx35 || imx51)]:
 
 #include "io.h"
 #include "kmem.h"