Quoting Thomas Huth (2022-08-30 14:52:14) > I wonder whether we should execute this test by default, since nothing can > fail here? I assume this is rather something that you want to run manually? This could be one idea. My idea was to run it even if it can't fail since the execution times are printed in log files. Collecting them may be interesting to establish a baseline for later measurements. It also is what x86 does with their vmexit tests. In addition, running them doesn't hurt and makes sure the tests don't suddenly break. I will address your other comments in an upcoming iteration, thank you.