update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/realview/board_check-arm-realview.cpp b/kernel/fiasco/src/kern/arm/bsp/realview/board_check-arm-realview.cpp
index 829f30a8ec20d94ed78cc78bc7560eb53d201797..5ab8cc5eaaeeb2b95514d6ccfce0e2aa4fb893d1 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/realview/board_check-arm-realview.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/realview/board_check-arm-realview.cpp
@@ -42,6 +42,13 @@ Board_check::id_pair Board_check::ids[] FIASCO_INITDATA = {
   { 0xffffff00, 0x01780500 }, // qemu
 };
 
+// ------------------------------------------------------------------------
+IMPLEMENTATION [arm && realview && realview_vexpress]:
+
+Board_check::id_pair Board_check::ids[] FIASCO_INITDATA = {
+  { 0xffffff00, 0x1190f500 },
+};
+
 // ------------------------------------------------------------------------
 IMPLEMENTATION [arm && realview]: