update

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

//-----------------------------------------------------------------------------
INTERFACE [arm && zynq]:
namespace Bootstrap {
enum { Cache_flush_area = 0xe0000000 };
}