Shijun Zhao

The results are not stable when using sel4bench.

2

I currently use the seL4bench to test some benchmarks. I use a for loop to evaluate the performance of my benchmark, and the results show that the performance of the...