update

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

INTERFACE [arm && exynos]:

namespace Bootstrap {
enum { Cache_flush_area = 0, };
}