update

[l4.git] / 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 66e2ca6115ba86830a1bfb9c0b45556983b51e14..5bd2e92ac97d4f68914094831b140ea5a50f7c2d 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/imx/bootstrap-arm-imx.cpp
@@ -1,15 +1,6 @@
 //-----------------------------------------------------------------------------
 INTERFACE [arm && imx]:
-
-enum {
-  Cache_flush_area = 0xe0000000,
-};
-
-//-----------------------------------------------------------------------------
-IMPLEMENTATION [arm && imx]:
-void
-map_hw(void *pd)
-{
-  // map devices
-  map_1mb(pd, Mem_layout::Device_map_base, Mem_layout::Device_phys_base, false, false);
+namespace Bootstrap {
+enum { Cache_flush_area = 0xe0000000 };
 }
+