Skip to content

add new args to seL4_BenchmarkFlushCaches

Jimmy Brush requested to merge fix-syscalls-12.0 into master

This corresponds to seL4 commit c06df578f206e060076a10c6d1a7cf954a92c8b1.

Merge request reports