Luca(Wei) Chen c06df578f2 ARM: Add support to flush L1 caches ... Extend the existing seL4_BenchmarkFlushCaches without modifing the usage of it. Will be used in sel4bench to measure the cold cache performance.		2020-02-11 11:23:04 +11:00
..
api	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
interfaces	trivial: add correct section in docs	2019-08-22 11:22:39 +10:00
sel4	ARM: Add support to flush L1 caches	2020-02-11 11:23:04 +11:00