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

diff --git a/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp b/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
index 40d38bed4..b3023a8e6 100644
--- a/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
@@ -11,7 +11,17 @@ void
 map_hw(void *pd)
 {
   // map devices
-  map_1mb(pd, Mem_layout::Device_map_base, Mem_layout::Device_phys_base, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_1, Mem_layout::Device_phys_base_1, false, false);
+}
+
+//-----------------------------------------------------------------------------
+IMPLEMENTATION [arm && imx35]:
+void
+map_hw(void *pd)
+{
+  map_1mb(pd, Mem_layout::Device_map_base_1, Mem_layout::Device_phys_base_1, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_2, Mem_layout::Device_phys_base_2, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_3, Mem_layout::Device_phys_base_3, false, false);
 }
 
 //-----------------------------------------------------------------------------
@@ -19,6 +29,6 @@ IMPLEMENTATION [arm && imx51]:
 void
 map_hw(void *pd)
 {
-  map_1mb(pd, Mem_layout::Device_map_base,   Mem_layout::Device_phys_base_1, false, false);
+  map_1mb(pd, Mem_layout::Device_map_base_1, Mem_layout::Device_phys_base_1, false, false);
   map_1mb(pd, Mem_layout::Device_map_base_2, Mem_layout::Device_phys_base_2, false, false);
 }