update

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

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