update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / realview / reset-arm-realview.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/realview/reset-arm-realview.cpp b/kernel/fiasco/src/kern/arm/bsp/realview/reset-arm-realview.cpp
index 74661c5c74052d6c361ebb9f41e21a7d7cd95686..1ae3f60dd698226189866f964b7e0f89c9763cb2 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/realview/reset-arm-realview.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/realview/reset-arm-realview.cpp
@@ -30,7 +30,7 @@ static inline void do_reset()
 }
 
 // ------------------------------------------------------------------------
-IMPLEMENTATION [arm && realview && realview_pbx]:
+IMPLEMENTATION [arm && realview && (realview_pbx || realview_vexpress)]:
 
 static inline void do_reset()
 {