update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / zynq / bootstrap-arm-zynq.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/zynq/bootstrap-arm-zynq.cpp b/kernel/fiasco/src/kern/arm/bsp/zynq/bootstrap-arm-zynq.cpp
new file mode 100644 (file)
index 0000000..87bdcb4
--- /dev/null
+++ b/kernel/fiasco/src/kern/arm/bsp/zynq/bootstrap-arm-zynq.cpp
@@ -0,0 +1,6 @@
+//-----------------------------------------------------------------------------
+INTERFACE [arm && zynq]:
+namespace Bootstrap {
+enum { Cache_flush_area = 0xe0000000 };
+}
+